- 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)Other Versions
No versions found
My notes
Similar books and articles
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.
On Homogenous Fragments Of Normal Modal Propositional Logics.Jerzy Perzanowski - 1975 - Bulletin of the Section of Logic 4 (2):44-49.
Superintuitionistic companions of classical modal logics.Frank Wolter - 1997 - Studia Logica 58 (2):229-259.
Metalogic of Intuitionistic Propositional Calculus.Alex Citkin - 2010 - Notre Dame Journal of Formal Logic 51 (4):485-502.
Unification in Pretabular Extensions of S4.Stepan I. Bashmakov - 2021 - Logica Universalis 15 (3):381-397.
Intermediate logics without the interpolation property.Stanislaw Zachorowski - 1977 - Bulletin of the Section of Logic 6 (4):161-162.
On modal logics with an intuitionistic base.Gisele Servi - 1977 - Bulletin of the Section of Logic 6 (1):32-34.
Sequent calculi for monotonic modal logics.Andrzej Indrzejczak - 2005 - Bulletin of the Section of Logic 34 (3):151-164.
Applicability of Motohashi's method to modal logics.Hirohiko Kushida - 2005 - Bulletin of the Section of Logic 34 (3):121-134.
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-648784bb4d-ls7fw uwo