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)

Categories

Keywords

Reprint years

DOI

10.1007/s10849-009-9083-z

Links

PhilArchive

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

Strong Completeness and Limited Canonicity for PDL.Gerard Renardel de Lavalette, Barteld Kooi & Rineke Verbrugge - 2008 - Journal of Logic, Language and Information 17 (1):69-87.
Hypercanonicity, Extensive Canonicity, Canonicity And Strong Completeness Of Intermediate Propositional Logics.Camillo Fiorentini - 2001 - Reports on Mathematical Logic:3-46.
On canonicity and strong completeness conditions in intermediate propositional logics.Silvio Ghilardi & Pierangelo Miglioli - 1999 - Studia Logica 63 (3):353-385.
Hybrid logics with infinitary proof systems.Rineke Verbrugge, Gerard Renardel de Lavalette & Barteld Kooi - unknown
All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete.Camillo Fiorentini - 2000 - Journal of Symbolic Logic 65 (4):1576-1604.
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.
Relationale Grammatik: Michael Böttner, Tübingen: Max Niemeyer Verlag , 1999. paperback, out of print, x + 199 pages, ISBN 3-484-30402-2.Gerhard Jäger - 2004 - Journal of Logic, Language and Information 13 (4):521-525.
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
133 (#134,798)

6 months
80 (#53,507)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Rineke (Laurina Christina) Verbrugge
University of Groningen
Barteld Kooi
University of Groningen

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

Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.
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.

View all 13 references / Add more references