- 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
Directed frames
Archive for Mathematical Logic 29 (1):53-67 (1989)
Abstract
Predicate extensions of the intermediate logic of the weak excluded middle and of the modal logic S4.2 are introduced and investigated. In particular it is shown that some of them are characterized by subclasses of the class of directed frames with either constant or nested domainsAuthor's Profile
My notes
Similar books and articles
Completeness and Definability in the Logic of Noncontingency.Evgeni E. Zolin - 1999 - Notre Dame Journal of Formal Logic 40 (4):533-547.
Linear Kripke Frames and Gödel Logics.Arnold Beckmann & Norbert Preining - 2007 - Journal of Symbolic Logic 72 (1):26 - 44.
Filtering unification and most general unifiers in modal logic.Silvio Ghilardi & Lorenzo Sacchetti - 2004 - Journal of Symbolic Logic 69 (3):879-906.
On axiomatising products of Kripke frames.Ágnes Kurucz - 2000 - Journal of Symbolic Logic 65 (2):923-945.
On finite linear intermediate predicate logics.Hiroakira Ono - 1988 - Studia Logica 47 (4):391 - 399.
General Frames for Relevant Modal Logics.Takahiro Seki - 2003 - Notre Dame Journal of Formal Logic 44 (2):93-109.
The Superintuitionistic Predicate Logic of Finite Kripke Frames Is Not Recursively Axiomatizable.Dmitrij Skvortsov - 2005 - Journal of Symbolic Logic 70 (2):451 - 459.
Incompleteness and the Barcan formula.M. J. Cresswell - 1995 - Journal of Philosophical Logic 24 (4):379 - 403.
“Frequent Frames” in German Child-Directed Speech: A Limited Cue to Grammatical Categories.Barbara Stumper, Colin Bannard, Elena Lieven & Michael Tomasello - 2011 - Cognitive Science 35 (6):1190-1205.
On intermediate predicate logics of some finite Kripke frames, I. levelwise uniform trees.Dmitrij Skvortsov - 2004 - Studia Logica 77 (3):295 - 323.
Not every "tabular" predicate logic is finitely axiomatizable.Dmitrij Skvortsov - 1997 - Studia Logica 59 (3):387-396.
Analytics
Added to PP
2013-12-01
Downloads
37 (#433,623)
6 months
9 (#317,143)
2013-12-01
Downloads
37 (#433,623)
6 months
9 (#317,143)
Historical graph of downloads
Author's Profile
Citations of this work
Incompleteness results in Kripke semantics.Silvio Ghilardi - 1991 - Journal of Symbolic Logic 56 (2):517-538.
Presheaf semantics and independence results for some non-classical first-order logics.Silvio Ghilardi - 1989 - Archive for Mathematical Logic 29 (2):125-136.
Completeness theorem for Dummett's LC quantified and some of its extensions.Giovanna Corsi - 1992 - Studia Logica 51 (2):317 - 335.
Maximal Kripke-type semantics for modal and superintuitionistic predicate logics.D. P. Skvortsov & V. B. Shehtman - 1993 - Annals of Pure and Applied Logic 63 (1):69-101.
On Kripke completeness of modal predicate logics around quantified K5.Valentin Shehtman - 2023 - Annals of Pure and Applied Logic 174 (2):103202.
References found in this work
Applications of trees to intermediate logics.Dov M. Gabbay - 1972 - Journal of Symbolic Logic 37 (1):135-138.
A logic characterized by the class of connected models with nested domains.Giovanna Corsi - 1989 - Studia Logica 48 (1):15 - 22.
A companion to modal logic: some corrections.G. E. Hughes & M. J. Cresswell - 1986 - Logique Et Analyse 29 (3):41-51.
Quantified Modal Logic With Rigid Terms.Giovanna Corsi - 1988 - Mathematical Logic Quarterly 34 (3):251-259.
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-5ff6c685cb-9vkzx uwo