On combinations of propositional dynamic logic and doxastic modal logics

DOI10.1007/S10849-007-9041-6zbMATH Open1184.03012OpenAlexW2069840991MaRDI QIDQ1006486FDOQ1006486

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

Recommendations

• scientific article; zbMATH DE number 2196600
• Inquisitive propositional dynamic logic
• A system of dynamic modal logic
• Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions
• A sequent calculus for propositional dynamic logic for agents with interactions

zbMATH Keywords

dynamic epistemic logicepistemic logicmodal logicdynamic logicdoxastic logicreasoning about actionsmany-dimensional modal logicbelief and knowledge

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (16)

• Reasoning with protocols under imperfect information
• Reasoning about games
• Title not available (Why is that?)
• Dynamic doxastic logic: why, how, and where to?
• Title not available (Why is that?)
• Ockhamist propositional dynamic logic: a natural link between PDL and CTL*
• Decidability and expressivity of Ockhamist propositional dynamic logics
• Inquisitive propositional dynamic logic
• Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions
• Boolean modal logic \(\mathrm{wK4}_{\mathrm{Dyn}}\) -- doxastic interpretation
• Epistemic conditionals and the logic of subsets
• Title not available (Why is that?)
• A logic for belief contraction
• Tableaux for single-agent epistemic PDL with perfect recall and no miracles
• Updating knowledge using subsets
• Decision procedure for a combination of logics KD4 and PDL

This page was built for publication: On combinations of propositional dynamic logic and doxastic modal logics

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