A decidable noncompact extension of the logic S4

DOI10.1007/BF01670114zbMath0415.03012MaRDI QIDQ599805

Vladimir Vladimirovich Rybakov

Publication date: 1979

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

Full work available at URL: https://eudml.org/doc/187009

zbMATH Keywords

modal logiccompactnessdecidabilityS4noncompact extension

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Related Items

On Finite Model Property for Admissible Rules

Cites Work

• Unnamed Item
• Unnamed Item
• An ascending chain of S4 logics
• Noncompactness in propositional modal logic