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

zbMATH Open1338.03032MaRDI QIDQ2804039FDOQ2804039

Authors: Alexander Vasil'evich Chagrov 

Publication date: 27 April 2016

Published in: Logicheskie Issledovaniya (Search for Journal in Brave)

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

zbMATH Keywords

deduction theoremfinite model propertynormal modal logicconstant formula

Mathematics Subject Classification ID

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

Cited In (3)

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

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)