On variable separation in modal and superintuitionistic logics

DOI10.1007/BF01053034zbMath0840.03017MaRDI QIDQ1896757

Larisa L. Maksimova

Publication date: 11 September 1995

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

modal logicsuperintuitionistic logicHalldén-completeness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Related Items (7)

1998 European Summer Meeting of the Association for Symbolic Logic ⋮ Variable Sharing in Substructural Logics: an Algebraic Characterization ⋮ Decidability of the interpolation problem and of related properties in tabular logics ⋮ Singly generated quasivarieties and residuated structures ⋮ A syntactic approach to Maksimova's principle of variable separation for some substructural logics ⋮ Fuzzy logics from substructural perspective ⋮ On Algebraisation of Superintuitionistic Predicate Logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interpolation properties of superintuitionistic logics
• Pretabular varieties of modal algebras
• The undecidability of the disjunction property of propositional logics and other related problems
• Modal Logics Between S 4 and S 5
• On the semantic non-completeness of certain Lewis calculi

This page was built for publication: On variable separation in modal and superintuitionistic logics