Finite information logic

DOI10.1016/j.apal.2004.06.013zbMath1067.03039OpenAlexW2070162939MaRDI QIDQ1779313

Rohit Parikh, Jouko Väänänen

Publication date: 1 June 2005

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2004.06.013

zbMATH Keywords

Games for first-order logicIndependence friendly logicPartial information logic

Mathematics Subject Classification ID

Applications of game theory (91A80) Other nonclassical logic (03B60)

Related Items

Parikh and Wittgenstein ⋮ The Logic of Approximate Dependence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Social software
• An application of games to the completeness problem for formalized theories
• Compositional semantics for a language of imperfect information