- 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 of Certain Bimodal Logics for Subset Spaces.M. Angela Weiss & Rohit Parikh - 2002 - Studia Logica 71 (1):1-30.
Polarity Semantics for Negation as a Modal Operator.Yuanlei Lin & Minghui Ma - 2020 - Studia Logica 108 (5):877-902.
Barwise's information frames and modal logics.Vladimir V. Rybakov - 2003 - Archive for Mathematical Logic 42 (3):261-277.
Not every "tabular" predicate logic is finitely axiomatizable.Dmitrij Skvortsov - 1997 - Studia Logica 59 (3):387-396.
Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics.Nobu-Yuki Suzuki - 1990 - Studia Logica 49 (3):289-306.
The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable.Dmitrij Skvortsov - 2005 - Journal of Symbolic Logic 70 (2):451-459.
The Superintuitionistic Predicate Logic of Finite Kripke Frames Is Not Recursively Axiomatizable.Dmitrij Skvortsov - 2005 - Journal of Symbolic Logic 70 (2):451 - 459.
On intermediate predicate logics of some finite Kripke frames, I. levelwise uniform trees.Dmitrij Skvortsov - 2004 - Studia Logica 77 (3):295 - 323.
Presheaf semantics and independence results for some non-classical first-order logics.Silvio Ghilardi - 1989 - Archive for Mathematical Logic 29 (2):125-136.
Linear Kripke Frames and Gödel Logics.Arnold Beckmann & Norbert Preining - 2007 - Journal of Symbolic Logic 72 (1):26 - 44.
Analytics
Added to PP
2013-12-01
Downloads
39 (#421,600)
6 months
11 (#272,000)
2013-12-01
Downloads
39 (#421,600)
6 months
11 (#272,000)
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 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 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-68866f4b87-dxklk uwo