Classification of extensions of the modal logic S4

DOI10.1134/S003744661306013XzbMath1315.03029MaRDI QIDQ2436104

Larisa L. Maksimova

Publication date: 21 February 2014

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

modal logicdecidabilityKripke framecharacteristic formula

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (3)

Algorithms for recognizing restricted interpolation over the modal logic S4 ⋮ Recognizable logics ⋮ Restricted interpolation over modal logic S4

Cites Work

• Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Logics containing K4. Part II
• Canonical formulas for K4. Part I: Basic results
• An ascending chain of S4 logics
• Canonical formulas for K4. Part II: Cofinal subframe logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Classification of extensions of the modal logic S4