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

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2003.11.007

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

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

Through your library

My notes

Similar books and articles

Arrow update logic.Barteld Kooi & Bryan Renne - 2011 - Review of Symbolic Logic 4 (4):536-559.
On Fork Arrow Logic and Its Expressive Power.Paulo A. S. Veloso, Renata P. De Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
On fork arrow logic and its expressive power.Paulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
Many-dimensional arrow logics.Dimiter Vakarelov - 1996 - Journal of Applied Non-Classical Logics 6 (4):303-345.
Contexts in dynamic predicate logic.Albert Visser - 1998 - Journal of Logic, Language and Information 7 (1):21-52.
Event, state, and process in arrow logic.Satoshi Tojo - 1999 - Minds and Machines 9 (1):81-103.
Expressivity of extensions of dynamic first-order logic.Balder ten Cate & Jan van Eijck - unknown
Expressivity of extensions of dynamic first-order logic.Balder ten Cate & Jan van Eijck - unknown
Extending probabilistic dynamic epistemic logic.Joshua Sack - 2009 - Synthese 169 (2):241 - 257.
Characterizing Quantifier Extensions of Dependence Logic.Fredrik Engström & Juha Kontinen - 2013 - Journal of Symbolic Logic 78 (1):307-316.
Polyadic dynamic logics for hpsg parsing.Anders Søgaard & Martin Lange - 2009 - Journal of Logic, Language and Information 18 (2):159-198.
Interpretation of dynamic logic and its extensions in the relational calculus.E. Orlowska - 1989 - Bulletin of the Section of Logic 18:132-137.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Hyper arrow logic with indiscernibility and complementarity.Philippe Balbiani - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):137-152.

Analytics

Added to PP
2014-01-16

Downloads
20 (#744,405)

6 months
9 (#298,039)

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-4):231-276.
Decidability: theorems and admissible rules.Vladimir Rybakov - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):293-308.

Add more citations

References found in this work

Multi-dimensional modal logic.Maarten Marx - 1997 - 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 7 references / Add more references