Finite model property of normal modal logics and constant formulas: an example

MaRDI QIDQ2804039zbMATH OpenFDO

Authors Alexander Vasil'evich Chagrov

Publication date 27 April 2016

Published in Logicheskie Issledovaniya (Search for Journal in Brave)

zbMATH Keywords

deduction theoremfinite model propertynormal modal logicconstant formula

Mathematics Subject Classification ID

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

Recommendations

• The power of a propositional constant
• Canonical formulas for K4. Part III: the finite model property
• scientific article; zbMATH DE number 2020142
• Products of modal logics with diagonal constant lacking the finite model property
• scientific article; zbMATH DE number 1036761

Cited in

(3)

• A consistent prepositional logic without any finite models
• The power of a propositional constant
• Finite model property for negative modalities

This page was built for publication: Finite model property of normal modal logics and constant formulas: an example

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