scientific article; zbMATH DE number 1036761

MaRDI QIDQ4345015zbMATH OpenFDO

Authors Stéphane Demri, Ewa Orłowska

Publication date 18 August 1997

zbMATH Keywords

accessibility relationsfinite model propertymodal framesmodal logicsoperators acting on binary relationspossible world semantics

Mathematics Subject Classification ID

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

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

Cited in

(11)

• Every finitely reducible logic has the finite model property with respect to the class of \(\lozenge\)-formulae
• Modal logic over finite structures
• The finite model property for logics with the tangle modality
• The finite model property with respect to admissibility for superintuitionistic logic
• Syntactic refutations against finite models in modal logic
• Modal logics of finite direct powers of \(\omega\) have the finite model property
• A unified semantics for a family of modal logics with propositional constants
• Finite model property of normal modal logics and constant formulas: an example
• Finite model property of modal logics of finite depth
• Bibliography of Ewa Orłowska
• Finite and physical modalities

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)