Finite information logic

DOI10.1016/J.APAL.2004.06.013MaRDI QIDQ1779313zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 5180966
• The logic of informational independence and finite models
• Expressivity of imperfect information logics without identity
• scientific article; zbMATH DE number 7166988
• Independence-friendly logic. A game-theoretic approach

Cites work

• scientific article; zbMATH DE number 3115890 (Why is no real title available?)
• scientific article; zbMATH DE number 1086489 (Why is no real title available?)
• scientific article; zbMATH DE number 4118333 (Why is no real title available?)
• An application of games to the completeness problem for formalized theories
• Compositional semantics for a language of imperfect information
• Social software

Cited in

(5)

• Parikh and Wittgenstein
• Equivalence and quantifier rules for logic with imperfect information
• The logic of approximate dependence
• scientific article; zbMATH DE number 3903963 (Why is no real title available?)
• Logic of nondeterministic information

This page was built for publication: Finite information logic

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