Independent choices and the interpretation of IF logic

DOI10.1023/A:1015542413718zbMath1003.03025OpenAlexW1778486997MaRDI QIDQ1610629

Theo M. V. Janssen

Publication date: 20 August 2002

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1015542413718

zbMATH Keywords

Henkin quantifierIF logicindependence friendly logicimperfect informationgame-theoretical semanticsbranching quantifierindependent choices

Mathematics Subject Classification ID

Applications of game theory (91A80) Other nonclassical logic (03B60) Logic with extra quantifiers and operators (03C80)

Related Items (11)

Cooperation in games and epistemic readings of independence-friendly sentences ⋮ Epistemic operators in dependence logic ⋮ Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies ⋮ Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications ⋮ Complexity of syntactical tree fragments of independence-friendly logic ⋮ Classical negation and game-theoretical semantics ⋮ ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC ⋮ On the formal semantics of IF-like logics ⋮ Thompson transformations for IF-logic ⋮ Independence-friendly logic without Henkin quantification ⋮ Supervenience, Dependence, Disjunction

This page was built for publication: Independent choices and the interpretation of IF logic