- 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
Modal logics with no minimal proper extensions
Studia Logica 38 (3):233 - 235 (1979)
Abstract
We show that neither the descending chain property nor the finite model property is a necessary condition for a model logic having no minimal proper extension. This answers in the negative two questions raised by G. E. Hughes.Other Versions
No versions found
My notes
Similar books and articles
Prefinitely axiomatizable modal and intermediate logics.Marcus Kracht - 1993 - Mathematical Logic Quarterly 39 (1):301-322.
Polarity Semantics for Negation as a Modal Operator.Yuanlei Lin & Minghui Ma - 2020 - Studia Logica 108 (5):877-902.
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic.Minghui Ma & Juntong Guo - forthcoming - Studia Logica:1-30.
Products of modal logics. Part 3: Products of modal and temporal logics.Dov Gabbay & Valentin Shehtman - 2002 - Studia Logica 72 (2):157-183.
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic.Minghui Ma & Juntong Guo - 2025 - Studia Logica 113 (1):49-78.
All proper normal extensions of s5-square have the polynomial size model property.Nick Bezhanishvili & Maarten Marx - 2003 - Studia Logica 73 (3):367 - 382.
The Kuznetsov-Gerčiu and Rieger-Nishimura logics.Guram Bezhanishvili, Nick Bezhanishvili & Dick de Jongh - 2008 - Logic and Logical Philosophy 17 (1-2):73-110.
Maximal small extensions of o-minimal structures.Janak Ramakrishnan - 2010 - Mathematical Logic Quarterly 56 (5):470-474.
Analytics
Added to PP
2009-01-28
Downloads
67 (#317,122)
6 months
3 (#1,481,767)
2009-01-28
Downloads
67 (#317,122)
6 months
3 (#1,481,767)
Historical graph of downloads
References found in this work
A normal modal calculus between T and s4 without the finite model property.David Makinson - 1969 - Journal of Symbolic Logic 34 (1):35-38.
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-667477cd97-sfdq8 dc2