- 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
An ascending chain of S4 logics
Theoria 40 (2):110-116 (1974)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.
Hybrid logics with infinitary proof systems.Rineke Verbrugge, Gerard Renardel de Lavalette & Barteld Kooi - unknown
On the existence of strong chains in ℘(ω1)/fin.Piotr Koszmider - 1998 - Journal of Symbolic Logic 63 (3):1055 - 1062.
Topological Modal Logics Satisfying Finite Chain Conditions.Bernhard Heinemann - 1998 - Notre Dame Journal of Formal Logic 39 (3):406-421.
A universal logic approach to adaptive logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
The Great Chain of Being: A Study of the History of an Idea.Arthur O. Lovejoy - 1936 - Cambridge, Mass.,: Transaction Publishers.
Analytics
Added to PP
2010-09-13
Downloads
76 (#213,869)
6 months
3 (#992,474)
2010-09-13
Downloads
76 (#213,869)
6 months
3 (#992,474)
Historical graph of downloads
Author's Profile
Citations of this work
A Theory of Necessities.Andrew Bacon & Jin Zeng - 2022 - Journal of Philosophical Logic 51 (1):151-199.
Canonical formulas for k4. part I: Basic results.Michael Zakharyaschev - 1992 - Journal of Symbolic Logic 57 (4):1377-1402.
Strong completeness of s4 for any dense-in-itself metric space.Philip Kremer - 2013 - Review of Symbolic Logic 6 (3):545-570.
Incompleteness results in Kripke semantics.Silvio Ghilardi - 1991 - Journal of Symbolic Logic 56 (2):517-538.
References found in this work
An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.
Undecidable theories.Alfred Tarski - 1953 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
Undecidable Theories.Alfred Tarski, Andrzej Mostowski & Raphael M. Robinson - 1953 - Philosophy 30 (114):278-279.
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-5tf24 uwo