Abstract
In this paper we find an algebraic equivalent of the Hallden property in modal logics, namely, we prove that the Hallden-completeness in any normal modal logic is equivalent to the so-called super-embedding property of a suitable class of modal algebras. The joint embedding property of a class of algebras is equivalent to the Pseudo-Relevance Property. We consider connections of the above-mentioned properties with interpolation and amalgamation. Also an algebraic equivalent of of the principle of variable separation in superintuitionistic logics will be found.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
W. Blok, ‘Pretabular varieties of modal algebras. Studia Logica 39, 2/3 (1980), pp. 101–124.
A. Chagrov, M. Zakharyashchev, ‘Undecidability of the disjunction property of propositional logics and other related problems’,J. Symbolic Logic 583 (1993), pp. 967–1002.
M. Dummett, E. Lemmon, ‘Modal logics between S4 and S5’,Zeitschr. math. Log. und Grundl. Math. 5 (1959), pp.250–264.
S. Hallden, ‘On the semantic non-completeness of certain Lewis calculi’,J. Symbolic Logic 16 (1951), pp. 127–129.
L. Maksimova, ‘Principle of variable separation in propositional logics’,Algebra i Logika 15(1976), pp. 168–184.
L. Maksimova, ‘Interpolation properties of super-intuitionistic logics’,Studia Logica 38 (1979), pp. 419–428.
L.L. Maksimova, ‘A continuum of normal extensions of the modal provability logic with the interpolation property (in Russian),Sibirskij Matematicheskij Zhurnal 30 6 (1989), pp. 122–131.
L.L. Maksimova, ‘Modal logics and varieties of modal algebras: the Beth properties, interpolation and amalgamation,Algebra i Logika 31 2 (1992), pp. 145–166.
L.L. Maksimova, V.V. Rybakov, ‘On the lattice of normal modal logics’,Algebra i Logika 13 2 (1974), pp. 188–216.
H. Rasiowa, R. Sikorski,The Mathematics of Meta-mathematics, PWN, Warsaw, 1963.
W. Rautenberg,Klassische und nicht-klassische Aussagenlogik, Wiesbaden, Vieweg, Braunschweig, 1979.
N.-Y. Suzuki, ‘Intermediate logics characterized by a class of algebraic frames with infinite individual domain. Bull’,Section of Logic 18, 2 (1989), pp. 63–71.
A. Wroński, ‘Remarks on Hallden-completeness of modal and intermediate logics’,Bull. Section of Logic 5, 4 (1976), 126–129.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Maksimova, L. On variable separation in modal and superintuitionistic logics. Stud Logica 55, 99–112 (1995). https://doi.org/10.1007/BF01053034
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01053034