Interpreting logics of knowledge in propositional dynamic logic

DOI10.1016/0020-0190(87)90129-3zbMath0634.03012OpenAlexW2086062372MaRDI QIDQ1096609

Michael J. Fischer

Publication date: 1987

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(87)90129-3

zbMATH Keywords

distributed systemssatisfiability problemsemanticsKripke modelbranching timeinterpretationdistributed protocolparticipantsPropositional Dynamic LogicPropositional Temporal Knowledge Logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Artificial intelligence (68T99) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Theory of operating systems (68N25)

Related Items (3)

The complexity of reasoning about knowledge and time. I: Lower bounds ⋮ TABLEAUX: A general theorem prover for modal logics ⋮ A guide to completeness and complexity for modal logics of knowledge and belief

Cites Work

• Unnamed Item
• Propositional dynamic logic of regular programs
• Decision procedures and expressiveness in the temporal logic of branching time
• Knowledge and common knowledge in a distributed environment
• Propositional dynamic logic of looping and converse is elementarily decidable

This page was built for publication: Interpreting logics of knowledge in propositional dynamic logic