Conservative extensions in modal logic

MaRDI QIDQ3509053zbMATH OpenFDO

Authors Silvio Ghilardi, Carsten Lutz, F. Wolter, Michael Zakharyaschev

Publication date 1 July 2008

zbMATH Keywords

algorithmic problemcomputational complexityconsequence relationconservative extensionconservativenessmodal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Complexity of computation (including implicit computational complexity) (03D15) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• scientific article; zbMATH DE number 4010486
• On modal logics which are conservative over the intuitionistic predicate calculus
• scientific article; zbMATH DE number 1062288
• Conservative extensions in guarded and two-variable fragments
• scientific article; zbMATH DE number 1499085

Cited in

(19)

• Interpolation in non-classical logics
• Knowledge forgetting: properties and applications
• A1 is not a conservative extension of S4 but of S5
• Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras
• Model-theoretic conservative extension for definitional theories
• Geometrisation of first-order logic
• Inseparability and conservative extensions of description logic ontologies: a survey
• On modal logics which are conservative over the intuitionistic predicate calculus
• The Logical Difference Problem for Description Logic Terminologies
• Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
• scientific article; zbMATH DE number 4010486 (Why is no real title available?)
• Conservativity for logics of justified belief: two approaches
• scientific article; zbMATH DE number 1354137 (Why is no real title available?)
• Conservative Extensions in Horn Description Logics with Inverse Roles
• Relevance Logic as a Conservative Extension of Classical Logic
• Progression of decomposed local-effect action theories
• Note on extending congruential modal logics
• Logic-based ontology comparison and module extraction, with an application to DL-Lite
• Deciding the existence of interpolants and definitions in first-order modal logic

This page was built for publication: Conservative extensions in modal logic

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