scientific article; zbMATH DE number 1735908

MaRDI QIDQ4329271zbMATH OpenFDO

Authors Stéphane Demri

Publication date 25 September 2002

zbMATH Keywords

computational complexitydecidabilitymodal logicreductionsatisfiabilityaxiomatizationinformation logicspolymodal logicsrare-logicsrelative operator

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• Modal logics with relative accessibility relations
• A hierarchy of modal logics with relative accessibility relations
• On semilattice relevant logics
• A Note on the Relevance of Semilattice Relevance Logic
• Display calculi for logics with relative accessibility relations
• Relating semantics for connexive logic
• scientific article; zbMATH DE number 1241672
• On modal logics characterized by models with relative accessibility relations. II
• Some relevance logics from the point of view of relational semantics
• On modal logics characterized by models with relative accessibility relations. I

Cited in

(1)

• On modal logics characterized by models with relative accessibility relations. II

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 Q4329271)