- 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
Presheaf semantics and independence results for some non-classical first-order logics
Archive for Mathematical Logic 29 (2):125-136 (1989)
Abstract
The logicD-J of the weak exluded middle with constant domains is proved to be incomplete with respect to Kripke semantics, by introducing models in presheaves on an arbitrary category. Additional incompleteness results are obtained for the modal systems with nested domains extendingQ-S4.1My notes
Similar books and articles
First-order classical modal logic.Horacio Arló-Costa & Eric Pacuit - 2006 - Studia Logica 84 (2):171 - 210.
Incompleteness results in Kripke semantics.Silvio Ghilardi - 1991 - Journal of Symbolic Logic 56 (2):517-538.
Completeness and incompleteness for intuitionistic logic.Charles Mccarty - 2008 - Journal of Symbolic Logic 73 (4):1315-1327.
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.
Fibred semantics and the weaving of logics part 1: Modal and intuitionistic logics.D. M. Gabbay - 1996 - Journal of Symbolic Logic 61 (4):1057-1120.
Expressivity of Imperfect Information Logics without Identity.Antti Kuusisto - 2013 - Studia Logica 101 (2):237-265.
Simplified Kripke style semantics for some very weak modal logics.Andrzej Pietruszczak - 2009 - Logic and Logical Philosophy 18 (3-4):271-296.
On completeness of intermediate predicate logics with respect to {K}ripke semantics.T. Shimura - 1995 - Bulletin of the Section of Logic 24:41-45.
Decidability and incompleteness results for first-order temporal logics of linear time.Stephan Merz - 1992 - Journal of Applied Non-Classical Logics 2 (2):139-156.
Algebraic Kripke sheaf semantics for non-classical predicate logics.Nobu-Yuki Suzuki - 1999 - Studia Logica 63 (3):387-416.
Analytics
Added to PP
2013-12-01
Downloads
36 (#456,457)
6 months
11 (#271,662)
2013-12-01
Downloads
36 (#456,457)
6 months
11 (#271,662)
Historical graph of downloads
Citations of this work
Incompleteness results in Kripke semantics.Silvio Ghilardi - 1991 - Journal of Symbolic Logic 56 (2):517-538.
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.
Topology and modality: The topological interpretation of first-order modal logic: Topology and modality.Steve Awodey - 2008 - Review of Symbolic Logic 1 (2):146-166.
References found in this work
An introduction to modal logic: the Lemmon notes.E. J. Lemmon - 1977 - Oxford: Blackwell. Edited by Dana S. Scott.
Directed frames.Giovanna Corsi & Silvio Ghilardi - 1989 - Archive for Mathematical Logic 29 (1):53-67.
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-8fb5884b9-q5nzd uwo