Beth definability in expressive description logics
From MaRDI portal
Publication:2865008
Recommendations
- On the relative expressiveness of description logics and predicate logics
- Practical reasoning for very expressive description logics
- ON DEFINABILITY IN MULTIMODAL LOGIC
- Explicit definitions of implicitly definable objects in some modal logics
- Characterizing the expressive power for concept descriptions and terminological axioms boxes in the description logic \(\mathcal {ELU}\)
Cited in
(12)- Uniform interpolation from cyclic proofs: the case of modal mu-calculus
- \(\mathcal {BCDL}\): Basic constructive description logic
- A note on constructive interpolation for the multi-modal logic \(K_m\)
- Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
- The data complexity of ontology-mediated queries with closed predicates
- On enumerating query plans using analytic tableau
- Effective interpolation and preservation in guarded logics
- Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
- Craig interpolation for decidable first-order fragments
- Progression of decomposed local-effect action theories
- On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics $$\mathcal{E}\mathcal{L}, \mathcal{E}\mathcal{L}^+$$
- Proving Craig and Lyndon interpolation using labelled sequent calculi
This page was built for publication: Beth definability in expressive description logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2865008)
