Publication:3509053
From MaRDI portal
zbMath1148.03014MaRDI QIDQ3509053
Carsten Lutz, Silvio Ghilardi, Frank Wolter, Michael Zakharyashchev
Publication date: 1 July 2008
computational complexity; modal logic; conservativeness; consequence relation; conservative extension; algorithmic problem
68Q25: Analysis of algorithms and problem complexity
03B45: Modal logic (including the logic of norms)
03D15: Complexity of computation (including implicit computational complexity)
Related Items
Progression of Decomposed Local-Effect Action Theories, Logic-based ontology comparison and module extraction, with an application to DL-Lite, Interpolation in non-classical logics, Knowledge forgetting: properties and applications, Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras, Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey, The Logical Difference Problem for Description Logic Terminologies