- 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
Some Normal Extensions of K4.3
Studia Logica 101 (3):583-599 (2013)
Abstract
This paper proves the finite model property and the finite axiomatizability of a class of normal modal logics extending K4.3. The frames for these logics are those for K4.3, in each of which every point has a bounded number of irreflexive successors if it is after an infinite ascending chain of (not necessarily distinct) pointsAuthor's Profile
My notes
Similar books and articles
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
An almost general splitting theorem for modal logic.Marcus Kracht - 1990 - Studia Logica 49 (4):455 - 470.
The Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2012 - Journal of Philosophical Logic (1):1-20.
Modal Extensions of Sub-classical Logics for Recovering Classical Logic.Marcelo E. Coniglio & Newton M. Peron - 2013 - Logica Universalis 7 (1):71-86.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Completeness and decidability results for some propositional modal logics containing “actually” operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
Normal bimodal logics of ability and action.Mark A. Brown - 1992 - Studia Logica 51 (3-4):519 - 532.
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 greatest extension of s4 into which intuitionistic logic is embeddable.Michael Zakharyaschev - 1997 - Studia Logica 59 (3):345-358.
End extensions of normal models of open induction.David Marker - 1991 - Notre Dame Journal of Formal Logic 32 (3):426-431.
How (not) to specify normal conditions for response-dependent concepts.Jussi Haukioja - 2007 - Australasian Journal of Philosophy 85 (2):325 – 331.
Analytics
Added to PP
2012-07-28
Downloads
61 (#259,066)
6 months
7 (#418,426)
2012-07-28
Downloads
61 (#259,066)
6 months
7 (#418,426)
Historical graph of downloads
Author's Profile
Citations of this work
On the basic logic of STIT with a single agent.Ming Xu - 1995 - Journal of Symbolic Logic 60 (2):459-483.
FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in $$\text {NExtK4.3}$$.Ming Xu - 2023 - Studia Logica 111 (6):899-946.
Finite Axiomatizability of Transitive Modal Logics of Finite Depth and Width with Respect to Proper-Successor-Equivalence.Yan Zhang & X. U. Ming - forthcoming - Review of Symbolic Logic:1-14.
References found in this work
Extensions of the Lewis system S5.Schiller Joe Scroggs - 1951 - Journal of Symbolic Logic 16 (2):112-120.
That All Normal Extensions of S4.3 Have the Finite Model Property.R. A. Bull - 1966 - Mathematical Logic Quarterly 12 (1):341-344.
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-7c76586df8-l2pxr uwo