Modal frame incompleteness. An account through second order logic

MaRDI QIDQ5883178zbMATH OpenFDO

Authors Mircea Dumitru

Publication date 29 March 2023

Mathematics Subject Classification ID

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

Recommendations

• Some incompletable modal predicate logics
• Incompleteness and the Barcan formula
• scientific article; zbMATH DE number 3639591
• The expressive power of second-order propositional modal logic
• An incomplete decidable modal logic

Cited in

(1)

• Modal Undefinability in Some Alternative Leibnizian Frames

This page was built for publication: Modal frame incompleteness. An account through second order logic

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