Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions

DOI10.1145/3597301arXiv2007.02736MaRDI QIDQ6082232

Jean Christoph Jung, Unnamed Author, Alessandro Artale, Frank Wolter, Ana Ozaki

Publication date: 3 November 2023

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2007.02736

zbMATH Keywords

computational complexitymodal logicdescription logicBeth definabilityCraig interpolantsexplicit definitions

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Foundations of instance level updates in expressive description logics
• Modal tableau calculi and interpolation
• The many faces of interpolation
• Many-dimensional modal logics: theory and applications
• Interpolation and definability in guarded fragments
• Uniform interpolation and coherence
• Pointlike sets: the finest aperiodic cover of a finite semigroup
• Category-based modularisation for equational logic programming
• Concept learning in description logics using refinement operators
• Combination of uniform interpolants via Beth definability
• Logical separability of labeled data examples under ontologies
• Combined covers and Beth definability
• Effective query answering with ontologies and DBoxes
• Uniform interpolation and the existence of sequent calculi
• (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
• Classes without the amalgamation property
• Amalgamation, congruence-extension, and interpolation properties in algebras
• Hybrid logics: characterization, interpolation and complexity
• Separating Regular Languages with First-Order Logic
• Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation
• Rewriting Guarded Negation Queries
• Beth Definability in Expressive Description Logics
• Exact Query Reformulation over Databases with First-order and Description Logics Ontologies
• An Introduction to Description Logic
• Failures of the interpolation lemma in quantified modal logic
• Database Repairing and Consistent Query Answering
• Equivalence closure in the two-variable guarded fragment
• Learning in Description Logics with Fuzzy Concrete Domains
• Count and Forget: Uniform Interpolation of  $\mathcal{SHQ}$ -Ontologies
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Interpolation for extended modal languages
• The Logical Difference Problem for Description Logic Terminologies
• DL-FOIL Concept Learning in Description Logics
• APERIODIC POINTLIKES AND BEYOND
• Ideal Downward Refinement in the $\mathcal{EL}$ Description Logic
• Formal Properties of Modularisation
• Alternation
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Separating regular languages with two quantifier alternations
• Interpolation with Decidable Fixpoint Logics
• SOME MODEL THEORY OF GUARDED NEGATION
• Adding Successor
• Interpolant Generation for UTVPI
• Ground Interpolation for Combined Theories
• Effective Interpolation and Preservation in Guarded Logics
• Computer Aided Verification
• Failure of interpolation in combined modal logics

This page was built for publication: Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions