A system of dynamic modal logic

DOI10.1023/A:1004295308014zbMath0910.03016OpenAlexW2563755359MaRDI QIDQ1267078

Maarten de Rijke

Publication date: 19 November 1998

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1004295308014

zbMATH Keywords

undecidabilitycompletenessaxiomatizationpropositional dynamic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items

Is Unsaying Polite?, Partial up an down logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An essay in combinatory dynamic logic
• Notes on modal definability
• Boolean modules
• Language in action
• Propositional knowledge base revision and minimal change
• Adding a temporal dimension to a logic system
• Peirce algebras
• Reasoning about update logic
• The logic of Peirce algebras
• Defaults in update semantics
• Determiners and logic
• On the logic of theory change: Partial meet contraction and revision functions
• The decision problem for branching time logic
• A Modal Logic for Chopping Intervals
• The modal logic of inequality
• Derivation rules as anti-axioms in modal logic
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• Dynamic predicate logic
• Decidability of Second-Order Theories and Automata on Infinite Trees