Noncompact extensions of the logic S4
From MaRDI portal
Publication:1260026
DOI10.1007/BF01669284zbMath0413.03013MaRDI QIDQ1260026
Vladimir Vladimirovich Rybakov
Publication date: 1978
Published in: Algebra and Logic (Search for Journal in Brave)
Related Items
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