An axiomatization of the Banzhaf value

Given an extensive formG, we associate with every choice an atomic sentence and with every information set a set of well-formed formulas (wffs) of prepositional calculus. The set of such wffs is denoted by Γ(G). Using the so-called topological ...

In this paper we consider the modal logic with both $\square$ and $◊$ arising from Kripke models with a crisp accessibility and whose propositions are valued over the standard Gödel algebra ${[0,1]}_G$. We provide an axiomatic system extending the one from ...$$$$

This paper introduces an axiomatisation for equational hybrid logic based on previous axiomatizations and natural deduction systems for propositional and first-order hybrid logic. Its soundness and completeness is discussed. This work is part of a ...