Two simple incomplete modal logics

DOI10.1111/J.1755-2567.1978.TB00830.XMaRDI QIDQ4190613zbMATH OpenOpenAlexFDO

Authors Johan van Benthem

Publication date 1978

Published in Theoria (Search for Journal in Brave)

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

zbMATH Keywords

Incomplete Modal LogicsKripke FramesModal Deduction

Mathematics Subject Classification ID

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

Cited in

(17)

• Topology and duality in modal logic
• Some kinds of modal completeness
• Some descending chains of incomplete modal logics
• Mathematical modal logic: A view of its evolution
• A simple incomplete extension of T which is the union of two complete modal logics with f. m. p
• Multimodal incompleteness under weak negations
• Completeness and incompleteness for anodic modal logics
• Changing a Semantics: Opportunism or Courage?
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• An axiomatization of the modal theory of the veiled recession frame
• FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3
• Coalgebraic semantics of modal logics: an overview
• Canonicity in power and modal logics of finite achronal width
• Nonconservative extensions by propositional quantifiers and modal incompleteness
• The mathematics of Epstein semantics
• First-order classical modal logic
• Kripke incomplete logics containing KTB

This page was built for publication: Two simple incomplete modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4190613)