scientific article
From MaRDI portal
Publication:3509053
zbMath1148.03014MaRDI QIDQ3509053
Carsten Lutz, Silvio Ghilardi, Frank Wolter, Michael Zakharyashchev
Publication date: 1 July 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
computational complexitymodal logicconservativenessconsequence relationconservative extensionalgorithmic problem
Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Complexity of computation (including implicit computational complexity) (03D15)
Related Items (7)
Progression of Decomposed Local-Effect Action Theories ⋮ Logic-based ontology comparison and module extraction, with an application to DL-Lite ⋮ Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey ⋮ The Logical Difference Problem for Description Logic Terminologies ⋮ Interpolation in non-classical logics ⋮ Knowledge forgetting: properties and applications ⋮ Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras
This page was built for publication:
