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

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2003.11.007
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,568
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Multi-Dimensional Modal Logic.Maarten Marx - 1997 - Kluwer Academic Publishers.
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

Citations of this work BETA

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

Similar books and articles

Arrow Update Logic.Barteld Kooi & Bryan Renne - 2011 - Review of Symbolic Logic 4 (4):536-559.
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.
Polyadic Dynamic Logics for Hpsg Parsing.Anders Søgaard & Martin Lange - 2009 - Journal of Logic, Language and Information 18 (2):159-198.
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.


Added to PP index

Total views
5 ( #1,120,028 of 2,385,661 )

Recent downloads (6 months)
1 ( #560,301 of 2,385,661 )

How can I increase my downloads?


My notes