Abstract:Hintikka and Sandu originally proposed Independence Friendly Logic (IF) as a first-order logic of imperfect information to describe game-theoretic phenomena underlying the semantics of natural language. The logic allows for expressing independence constraints among quantified variables, in a similar vein to Henkin quantifiers, and has a nice game-theoretic semantics in terms of imperfect information games. However, the IF semantics exhibits some limitations. It treats the players asymmetrically, considering only one of the two players as having imperfect information when evaluating truth, resp., falsity, of a sentence. In addition, the truth and falsity of sentences coincide with the existence of a uniform winning strategy for one of the two players in the semantic imperfect information game. As a consequence, IF does admit undetermined sentences, which are neither true nor false, thus failing the law of excluded middle. In this paper, we investigate an extension of IF, called Alternating Dependence/Independence Friendly Logic (ADIF), tailored to overcome these limitations. To this end, we introduce a novel compositional semantics, generalising the one based on trumps proposed by Hodges for IF. The new semantics (i) allows for meaningfully restricting both players at the same time, (ii) enjoys the property of game-theoretic determinacy, (iii) recovers the law of excluded middle for sentences, and (iv) grants ADIF the full descriptive power of Second Order Logic. We also provide an equivalent Herbrand-Skolem semantics and a game-theoretic semantics for the prenex fragment of ADIF, the latter being defined in terms of a determined infinite-duration game that precisely captures the other two semantics on finite structures.

Adjoint Natural Deduction (Extended Version)

Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information

Extended multi-adjoint logic programming

Syntax and semantics of multi-adjoint normal logic programming

Boolean Dependence Logic and Partially-Ordered Connectives

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement

Going Forth and Drawing Back: an Intensional Approach in Nonmonotonic Inference.

Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis

Alternating (In)Dependence-Friendly Logic

A Logic for Non-Monotone Inductive Definitions

Directional Deduction

Sub-sub-intuitionistic logic

Axiomatizing the Logic of Ordinary Discourse

Further remarks on the dual negation in team logics

Nested Sequents for Quantified Modal Logics

Completeness for Two Left-Sequential Logics

Negation and partial axiomatizations of dependence and independence logic revisited

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics

A logic of judgmental existence and its relation to proof irrelevance

Stoic Sequent Logic and Proof Theory

Semi-Substructural Logics with Additives