On combinations of propositional dynamic logic and doxastic modal logics
From MaRDI portal
(Redirected from Publication:1006486)
Recommendations
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)