Dynamic extensions of arrow logic

DOI10.1016/j.apal.2003.11.007zbMath1061.03023OpenAlexW2019742081MaRDI QIDQ598299

Philippe Balbiani, Dimiter Vakarelov

Publication date: 6 August 2004

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2003.11.007

zbMATH Keywords

modal logicdynamic logicarrow logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Related Items (1)

Decidability: theorems and admissible rules

Cites Work

• A near-optimal method for reasoning about action
• Axiomatising the logic of computer programming
• Multi-dimensional modal logic
• Axiomatizations with context rules of inference in modal logic
• Complete Axiomatization of a Relative Modal Logic with Composition and Intersection
• Derivation rules as anti-axioms in modal logic
• A new proof of completeness for a relative modal logic with composition and intersection
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Dynamic extensions of arrow logic