Strong Completeness and Limited Canonicity for PDL

Journal of Logic, Language and Information 18 (2):291-292 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,297

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

Canonical naming systems.Leon Horsten - 2004 - Minds and Machines 15 (2):229-257.
Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.
Erratum to: On Definability in Dependence Logic. [REVIEW]Jouko Väänänen - 2011 - Journal of Logic, Language and Information 20 (1):133-134.
Editorial.Marcus Kracht - 2010 - Journal of Logic, Language and Information 19 (1):1-1.
Introduction.R. T. Oehrle & J. Rogers - 2004 - Journal of Logic, Language and Information 13 (4):383-383.
Contents of Volume 13.[author unknown] - 2004 - Journal of Logic, Language and Information 13 (4):537-539.
Instructions for Authors.[author unknown] - 2004 - Journal of Logic, Language and Information 13 (4):541-546.
Preface.Torben Braüner & Thomas Bolander - 2009 - Journal of Logic, Language and Information 18 (4):435-436.
Volker Weber.Thomas Schwentick & Herik Björklund - 2009 - Journal of Logic, Language and Information 18 (4):433-433.

Analytics

Added to PP
2009-01-28

Downloads
48 (#246,132)

6 months
1 (#450,425)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Strong Completeness and Limited Canonicity for PDL.Gerard Renardel de Lavalette, Barteld Kooi & Rineke Verbrugge - 2009 - Journal of Logic, Language and Information 18 (2):291-292.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.

Add more citations

References found in this work

Logics of Time and Computation.Robert Goldblatt - 1990 - Studia Logica 49 (2):284-286.
Mathematics of Modality.Robert Goldblatt - 1993 - Center for the Study of Language and Information Publications.
Axiomatising the Logic of Computer Programming.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (3):854-855.
A model existence theorem in infinitary propositional modal logic.Krister Segerberg - 1994 - Journal of Philosophical Logic 23 (4):337 - 367.

View all 7 references / Add more references