scientific article; zbMATH DE number 1036761

zbMATH Open0874.03019MaRDI QIDQ4345015FDOQ4345015

Authors: Stéphane Demri, Ewa Orłowska 

Publication date: 18 August 1997

Title of this publication is not available (Why is that?)

Recommendations

• Every finitely reducible logic has the finite model property with respect to the class of \(\lozenge\)-formulae
• Modal logic over finite structures
• A Sufficient Condition for the Finite Model Property of Modal Logics above K4
• On Finite Model Property for Admissible Rules

zbMATH Keywords

modal logicspossible world semanticsfinite model propertymodal framesaccessibility relationsoperators acting on binary relations

Mathematics Subject Classification ID

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

Cited In (8)

• A unified semantics for a family of modal logics with propositional constants
• The finite model property with respect to admissibility for superintuitionistic logic
• Bibliography of Ewa Orłowska
• The finite model property for logics with the tangle modality
• Finite model property of normal modal logics and constant formulas: an example
• Finite model property of modal logics of finite depth
• Finite and physical modalities
• Syntactic refutations against finite models in modal logic

This page was built for publication:

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