Dynamic extensions of arrow logic
From MaRDI portal
Publication:598299
DOI10.1016/J.APAL.2003.11.007zbMATH Open1061.03023OpenAlexW2019742081MaRDI QIDQ598299FDOQ598299
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
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
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70)
Cites Work
- A near-optimal method for reasoning about action
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Multi-dimensional modal logic
- Axiomatising the logic of computer programming
- Axiomatizations with context rules of inference in modal logic
- Iteration-free PDL with intersection: A complete axiomatization
- Complete Axiomatization of a Relative Modal Logic with Composition and Intersection
- Title not available (Why is that?)
- Derivation rules as anti-axioms in modal logic
- Title not available (Why is that?)
- A new proof of completeness for a relative modal logic with composition and intersection
- Title not available (Why is that?)
Cited In (4)
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)
