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

zbMATH Open1338.03032MaRDI QIDQ2804039

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)

Related Items (1)

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)