Noncompact extensions of the logic S4

DOI10.1007/BF01669284zbMath0413.03013MaRDI QIDQ1260026

Vladimir Vladimirovich Rybakov

Publication date: 1978

Published in: Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

modal logicfinite model propertynoncompact recursively axiomatizable extensions of S4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models of other mathematical theories (03C65)

Related Items

On non-compact logics in NEXT(KTB), Modal companions of intermediate propositional logics

Cites Work

• Unnamed Item
• An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics
• An ascending chain of S4 logics
• An incomplete logic containing S4
• An incompleteness theorem in modal logic
• Algebraic semantics for modal logics I
• Some relational systems and the associated topological spaces
• Noncompactness in propositional modal logic