On combinations of propositional dynamic logic and doxastic modal logics

DOI10.1007/s10849-007-9041-6zbMath1184.03012OpenAlexW2069840991MaRDI QIDQ1006486

Renate A. Schmidt, Dmitry Tishkovsky

Publication date: 24 March 2009

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-007-9041-6

zbMATH Keywords

modal logicdynamic logicreasoning about actionsepistemic logicdynamic epistemic logicdoxastic logicmany-dimensional modal logicbelief and knowledge

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Combined logics (03B62)

Related Items

Updating knowledge using subsets ⋮ Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles ⋮ A Logic for Belief Contraction ⋮ Reasoning about games ⋮ Epistemic Conditionals and the Logic of Subsets ⋮ REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION

Cites Work

• Multi-agent dynamic logics with informational test
• Propositional dynamic logic of regular programs
• Simulation and transfer results in modal logic -- a survey
• Many-dimensional modal logics: theory and applications
• A logical approach to the dynamics of commitments
• Properties of independently axiomatizable bimodal logics
• Products of modal logics, part 1
• The product of converse PDL and polymodal K
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item