An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics

DOI10.1007/BF02121664zbMath0323.02033MaRDI QIDQ1224086

Martin Sebastian Gerson

Publication date: 1976

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

Mathematics Subject Classification ID

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

Related Items

A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras ⋮ Canonicity for intensional logics without iterative axioms ⋮ Logic for physical space. From antiquity to present day ⋮ Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics ⋮ Mathematical modal logic: A view of its evolution ⋮ Correspondence, canonicity, and model theory for monotonic modal logics ⋮ Noncompact extensions of the logic S4

Cites Work

• The inadequacy of the neighbourhood semantics for modal logic
• A Neighbourhood Frame for T with No Equivalent Relational Frame
• A normal logic that is complete for neighborhood frames but not for Kripke frames
• That All Normal Extensions of S4.3 Have the Finite Model Property

This page was built for publication: An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics