Dynamic extensions of arrow logic

DOI10.1016/J.APAL.2003.11.007MaRDI QIDQ598299zbMATH OpenOpenAlexFDO

Authors 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

arrow logicdynamic logicmodal logic

Mathematics Subject Classification ID

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

Review text

The paper provides a complete axiomatization of dynamic extensions of arrow logic based on a restriction of propositional dynamic logic with intersection; see related work by the authors [\textit{P. Balbiani} and \textit{D. Vakarelov}, Fundam. Inform. 45, No. 3, 173--194 (2001; Zbl 0976.03037)]. The proposed deductive system contains a non-orthodox inference rule for the intersection. The completeness proof follows the accordingly modified canonical model technique.

Recommendations

• scientific article; zbMATH DE number 1047506
• scientific article; zbMATH DE number 1047503
• Many-dimensional arrow logics
• scientific article; zbMATH DE number 993777
• ON THE EXPRESSIVE POWER OF SOME DYNAMIC LOGICS
• Arithmetical interpretations of dynamic logic
• Extending dynamic logic with refinements of abstract actions
• Dynamic predicate logic
• scientific article; zbMATH DE number 1047502
• scientific article; zbMATH DE number 5230436

Cites work

• A near-optimal method for reasoning about action
• A new proof of completeness for a relative modal logic with composition and intersection
• Axiomatising the logic of computer programming
• 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
• scientific article; zbMATH DE number 4014675 (Why is no real title available?)
• scientific article; zbMATH DE number 3843130 (Why is no real title available?)
• scientific article; zbMATH DE number 3983144 (Why is no real title available?)
• scientific article; zbMATH DE number 1292308 (Why is no real title available?)
• scientific article; zbMATH DE number 1047502 (Why is no real title available?)
• scientific article; zbMATH DE number 1047508 (Why is no real title available?)
• scientific article; zbMATH DE number 2066186 (Why is no real title available?)
• scientific article; zbMATH DE number 1489632 (Why is no real title available?)
• Iteration-free PDL with intersection: A complete axiomatization
• Multi-dimensional modal logic

Cited in

(5)

• Decidability: theorems and admissible rules
• scientific article; zbMATH DE number 733404 (Why is no real title available?)
• scientific article; zbMATH DE number 1047506 (Why is no real title available?)
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• About the complete axiomatization of dynamic extensions of arrow logic

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

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