scientific article; zbMATH DE number 1735908

zbMATH Open0993.03015MaRDI QIDQ4329271FDOQ4329271

Authors: Stéphane Demri 

Publication date: 25 September 2002

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

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

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)

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)