Dynamic extensions of arrow logic

Annals of Pure and Applied Logic 127 (1-3):1-15 (2004)
  Copy   BIBTEX

Abstract

This paper is devoted to the complete axiomatization of dynamic extensions of arrow logic based on a restriction of propositional dynamic logic with intersection. Our deductive systems contain an unorthodox inference rule: the inference rule of intersection. The proof of the completeness of our deductive systems uses the technique of the canonical model

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,248

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

PDL with intersection of programs: a complete axiomatization.Philippe Balbiani & Dimiter Vakarelov - 2003 - Journal of Applied Non-Classical Logics 13 (3):231-276.
The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents.Anthia Solaki - 2022 - Journal of Logic, Language and Information 31 (4):529-553.
Logical Inference and Its Dynamics.Carlotta Pavese - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. London, UK: College Publications. pp. 203-219.
Restricted Arrow.C. M. Asmus - 2009 - Journal of Philosophical Logic 38 (4):405-431.

Analytics

Added to PP
2014-01-16

Downloads
30 (#768,605)

6 months
6 (#876,161)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

PDL with intersection of programs: a complete axiomatization.Philippe Balbiani & Dimiter Vakarelov - 2003 - Journal of Applied Non-Classical Logics 13 (3):231-276.
Decidability: theorems and admissible rules.Vladimir Rybakov - 2008 - Journal of Applied Non-Classical Logics 18 (2):293-308.

Add more citations

References found in this work

Multi-dimensional modal logic.Maarten Marx - 1996 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.
Derivation rules as anti-axioms in modal logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.
Axiomatising the Logic of Computer Programming.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (3):854-855.

View all 6 references / Add more references