Dynamic extensions of arrow logic

DOI10.1016/J.APAL.2003.11.007MaRDI QIDQ598299zbMATHOpenAlexFDO

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

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)

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

• 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?)
• 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
• Iteration-free PDL with intersection: A complete axiomatization
• Multi-dimensional modal logic

Cited in

(4)

• scientific article; zbMATH DE number 733404 (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
• Decidability: theorems and admissible rules

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)