A normal logic that is complete for neighborhood frames but not for Kripke frames

DOI10.1111/J.1755-2567.1975.TB00554.XzbMath0347.02017OpenAlexW2154641125MaRDI QIDQ4116429

Dov M. Gabbay

Publication date: 1976

Published in: Theoria (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1755-2567.1975.tb00554.x

Mathematics Subject Classification ID

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

Related Items (3)

Canonicity for intensional logics without iterative axioms ⋮ LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics

This page was built for publication: A normal logic that is complete for neighborhood frames but not for Kripke frames