Syntactic aspects of modal incompleteness theorems

DOI10.1111/J.1755-2567.1979.TB00794.XMaRDI QIDQ3898471zbMATH OpenOpenAlexFDO

Authors Johan van Benthem

Publication date 1979

Published in Theoria (Search for Journal in Brave)

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

zbMATH Keywords

incomplete modal logicKripke framesecond-order logic

Mathematics Subject Classification ID

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

Cited in

(6)

• Some descending chains of incomplete modal logics
• Mathematical modal logic: A view of its evolution
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• Nonconservative extensions by propositional quantifiers and modal incompleteness
• Logical semantics as an empirical science
• Kripke incomplete logics containing KTB

This page was built for publication: Syntactic aspects of modal incompleteness theorems

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