On combinations of propositional dynamic logic and doxastic modal logics

DOI10.1007/S10849-007-9041-6MaRDI QIDQ1006486zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 140411 (Why is no real title available?)
• scientific article; zbMATH DE number 3499717 (Why is no real title available?)
• scientific article; zbMATH DE number 2024628 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 1773056 (Why is no real title available?)
• scientific article; zbMATH DE number 1852920 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 2196600 (Why is no real title available?)
• A logical approach to the dynamics of commitments
• Many-dimensional modal logics: theory and applications
• Modal logic
• Multi-agent dynamic logics with informational test
• Products of modal logics, part 1
• Properties of independently axiomatizable bimodal logics
• Propositional dynamic logic of regular programs
• Simulation and transfer results in modal logic -- a survey
• The product of converse PDL and polymodal K

Cited in

(16)

• Reasoning with protocols under imperfect information
• Reasoning about games
• scientific article; zbMATH DE number 2024628 (Why is no real title available?)
• Dynamic doxastic logic: why, how, and where to?
• scientific article; zbMATH DE number 2196600 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 4189694 (Why is no real title available?)
• 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)