scientific article; zbMATH DE number 1361517

MaRDI QIDQ4699335zbMATH OpenFDO

Authors Xavier Caicedo, Michał Krynicki

Publication date 10 November 1999

zbMATH Keywords

expressive powerfirst-order logic with Hintikka-Sandu quantifiersgame equivalenceimperfect information connectivesimperfect information gamesimperfect information logicprenex normal form theoremsecond-order existential logic

Mathematics Subject Classification ID

Other infinitary logic (03C75) Logic with extra quantifiers and operators (03C80) 2-person games (91A05) Applications of game theory (91A80)

Recommendations

• Equivalence and quantifier rules for logic with imperfect information
• On the logic of informational independence and its applications
• Compositional semantics for a language of imperfect information
• Some combinatorics of imperfect information

Cited in

(16)

• Expressivity of imperfect information logics without identity
• Complexity of syntactical tree fragments of independence-friendly logic
• Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies
• Thompson transformations for IF-logic
• Some combinatorics of imperfect information
• Sensible semantics of imperfect information. On a formal feature of meanings
• Deterministic and nondeterministic strategies for Hintikka games in first-order and branching-quantifier logic
• scientific article; zbMATH DE number 5734943 (Why is no real title available?)
• Equivalence and quantifier rules for logic with imperfect information
• Compositional semantics for a language of imperfect information
• A remark on Henkin sentences and their contraries
• Independence-friendly logic without Henkin quantification
• Henkin quantifiers and the definability of truth
• Truth and definite truth
• Equilibrium semantics of languages of imperfect information
• On the formal semantics of IF-like logics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4699335)