Strong Completeness and Limited Canonicity for PDL
Journal of Logic, Language and Information 18 (2):291-292 (2009)
Abstract
This article has no associated abstract. (fix it)Author's Profile
DOI
10.1007/s10849-009-9083-z
Links
PhilArchive
External links
- From the Publisher via CrossRef (no proxy)
- link.springer.com (no proxy)
- link.springer.com [2] (no proxy)
- link.springer.com [3] (no proxy)
- link.springer.com [4] (no proxy)
- springer.com (no proxy)
- link.springer.com [5] (no proxy)
- pure.rug.nl
(no proxy) - pure.rug.nl [2] (no proxy)
- rug.nl (no proxy)
- rug.nl [2] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
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.
Erratum to: On Definability in Dependence Logic. [REVIEW]Jouko Väänänen - 2011 - Journal of Logic, Language and Information 20 (1):133-134.
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
48 (#246,132)
6 months
1 (#450,425)
2009-01-28
Downloads
48 (#246,132)
6 months
1 (#450,425)
Historical graph of 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.
References found in this work
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.
