PDL with intersection of programs: a complete axiomatization

Journal of Applied Non-Classical Logics 13 (3-4):231-276 (2003)
  Copy   BIBTEX

Abstract

One of the important extensions of PDL is PDL with intersection of programs. We devote this paper to its complete axiomatization.

Links

PhilArchive



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

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

Independently axiomatizable ℒω1,ω theories.Greg Hjorth & Ioannis A. Souldatos - 2009 - Journal of Symbolic Logic 74 (4):1273-1286.
Independently Axiomatizable [image] Theories.Greg Hjorth & Ioannis A. Souldatos - 2009 - Journal of Symbolic Logic 74 (4):1273 - 1286.
On logic of complex algorithms.Helena Rasiowa - 1981 - Studia Logica 40 (3):289 - 310.
First-order theories for pure Prolog programs with negation.Robert F. Stärk - 1995 - Archive for Mathematical Logic 34 (2):113-144.
Rationally Functional Dependence.Pavel Naumov & Brittany Nicholls - 2014 - Journal of Philosophical Logic 43 (2-3):603-616.
Independence in Information Spaces.Pavel Naumov - 2012 - Studia Logica 100 (5):953-973.

Analytics

Added to PP
2014-01-21

Downloads
29 (#524,468)

6 months
3 (#928,914)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Definability and Computability for PRSPDL.Philippe Balbiani & Tinko Tinchev - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 16-33.
Propositional dynamic logic for Petri nets.B. Lopes, M. Benevides & E. H. Haeusler - 2014 - Logic Journal of the IGPL 22 (5):721-736.

Add more citations

References found in this work

A companion to modal logic.G. E. Hughes - 1984 - New York: Methuen. Edited by M. J. Cresswell.
Mathematics of Modality.Robert Goldblatt - 1993 - Center for the Study of Language and Information Publications.
Multi-dimensional modal logic.Maarten Marx - 1997 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.

View all 16 references / Add more references