- 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
On variable separation in modal logics
Bulletin of the Section of Logic 24 (1):21-25 (1995)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
On variable separation in modal and superintuitionistic logics.Larisa Maksimova - 1995 - Studia Logica 55 (1):99 - 112.
Undecidability of first-order intuitionistic and modal logics with two variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.
Free-variable tableaux for propositional modal logics.Bernhard Beckert & Rajeev GorÉ - 2001 - Studia Logica 69 (1):59-96.
Inconsistency-adaptive modal logics. On how to cope with modal inconsistency.Hans Lycke - 2010 - Logic and Logical Philosophy 19 (1-2):31-61.
A Syntactic Approach to Maksimova's Principle of Variable Separation for Some Substructural Logics.H. Naruse, Bayu Surarso & H. Ono - 1998 - Notre Dame Journal of Formal Logic 39 (1):94-113.
Halldén-completeness in super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 2003 - Studia Logica 73 (1):113 - 130.
More on d-Logics of Subspaces of the Rational Numbers.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Notre Dame Journal of Formal Logic 53 (3):319-345.
Decidable fragments of first-order modal logics.Frank Wolter & Michael Zakharyaschev - 2001 - Journal of Symbolic Logic 66 (3):1415-1438.
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
On regular modal logics with axiom □ ⊤ → □□ ⊤.Kazimierz Świrydowicz - 1990 - Studia Logica 49 (2):171 - 174.
Hybrid logics of separation axioms.Dmitry Sustretov - 2009 - Journal of Logic, Language and Information 18 (4):541-558.
Analytics
Added to PP
2014-01-21
Downloads
0
6 months
0
2014-01-21
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Citations of this work
The Beth Property in Algebraic Logic.W. J. Blok & Eva Hoogland - 2006 - Studia Logica 83 (1-3):49-90.
Projective Beth Property in Extensions of Grzegorczyk Logic.Larisa Maksimova - 2006 - Studia Logica 83 (1):365-391.
Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic.Judit X. Madarász - 1998 - Journal of Applied Non-Classical Logics 8 (1):67-105.
Interpolation and amalgamation; pushing the limits. Part II.Judit X. Madarász - 1999 - Studia Logica 62 (1):1-19.
Larisa Maksimova on Implication, Interpolation, and Definability.Sergei Odintsov (ed.) - 2018 - Cham, Switzerland: Springer Verlag.
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-5ff6c685cb-pqwqt uwo