scientific article; zbMATH DE number 3884133

MaRDI QIDQ3218103zbMATH OpenFDO

Authors Rohit Parikh

Publication date 1984

zbMATH Keywords

dynamic logicgame logicmodal logicnon-monotonic logicnon-monotonic many person logic of knowledge

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 35415
• In search of a ``true logic of knowledge: The nonmonotonic perspective
• scientific article; zbMATH DE number 2212572
• scientific article; zbMATH DE number 1999226
• A modal logic of epistemic games

Cited in

(10)

• Interpreting logics of knowledge in propositional dynamic logic
• Epistemic logics and their game theoretic applications: Introduction
• Game description language and dynamic epistemic logic compared
• Logic of non-monotonic interactive proofs
• scientific article; zbMATH DE number 2089455 (Why is no real title available?)
• Knowledge and Games in Modal Semirings
• Nonmonotonic consequence based on intuitionistic logic
• scientific article; zbMATH DE number 2087691 (Why is no real title available?)
• Dynamic logic as a uniform framework for theorem proving in intensional logic
• Logics of communication and change

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