- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
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 Profiles
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.
Language modeling for information retrieval.Börkur Sigurbjörnsson - 2004 - Journal of Logic, Language and Information 13 (4):531-534.
Introduction.R. T. Oehrle & J. Rogers - 2004 - Journal of Logic, Language and Information 13 (4):383-383.
Volker Weber.Thomas Schwentick & Herik Björklund - 2009 - Journal of Logic, Language and Information 18 (4):433-433.
Preface.Torben Braüner & Thomas Bolander - 2009 - Journal of Logic, Language and Information 18 (4):435-436.
Erratum to: On Definability in Dependence Logic. [REVIEW]Jouko Väänänen - 2011 - Journal of Logic, Language and Information 20 (1):133-134.
Introduction to the Special Issue on the Mathematics of Language.Gerald Penn - 2011 - Journal of Logic, Language and Information 20 (3):273-275.
Temporal Logics of Agency.Johan van Benthem & Eric Pacuit - 2010 - Journal of Logic, Language and Information 19 (4):389-393.
Journal of Logic, Language and Information. Instructions for Authors.[author unknown] - 2004 - Journal of Logic, Language and Information 8 (1):129-134.
Analytics
Added to PP
2009-01-28
Downloads
165 (#120,690)
6 months
94 (#54,784)
2009-01-28
Downloads
165 (#120,690)
6 months
94 (#54,784)
Historical graph of downloads
Author Profiles
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.
Semantical Considerations on Floyd-Hoare Logic.Vaughan R. Pratt, Michael J. Fischer, Richard E. Ladner, Krister Segerberg, Tadeuz Traczyk & Rohit Parikh - 1986 - Journal of Symbolic Logic 51 (1):225-227.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-dxklk uwo