Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions (Q6082232): Difference between revisions

Revision as of 10:59, 3 August 2024

scientific article; zbMATH DE number 7760995

Language	Label	Description	Also known as
English	Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions	scientific article; zbMATH DE number 7760995

Statements

instance of

scholarly article

0 references

title

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

0 references

0 references

0 references

0 references

0 references

0 references

ACM Transactions on Computational Logic

0 references

publication date

3 November 2023

0 references

full work available at URL

https://arxiv.org/abs/2007.02736

0 references

zbMATH Keywords

description logic

0 references

modal logic

0 references

Craig interpolants

0 references

Beth definability

0 references

explicit definitions

0 references

computational complexity

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Q4945233

0 references

Hybrid logics: characterization, interpolation and complexity

0 references

An Introduction to Description Logic

0 references

Q4406531

0 references

Rewriting Guarded Negation Queries

0 references

SOME MODEL THEORY OF GUARDED NEGATION

0 references

Q5232911

0 references

Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation

0 references

Interpolation with Decidable Fixpoint Logics

0 references

Effective Interpolation and Preservation in Guarded Logics

0 references

Combined covers and Beth definability

0 references

Combination of uniform interpolants via Beth definability

0 references

Alternation

0 references

Interpolant Generation for UTVPI

0 references

Classes without the amalgamation property

0 references

Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

0 references

Q4215595

0 references

Category-based modularisation for equational logic programming

0 references

DL-FOIL Concept Learning in Description Logics

0 references

Failures of the interpolation lemma in quantified modal logic

0 references

Effective query answering with ontologies and DBoxes

0 references

Exact Query Reformulation over Databases with First-order and Description Logics Ontologies

0 references

Q5641128

0 references

Many-dimensional modal logics: theory and applications

0 references

Ground Interpolation for Combined Theories

0 references

Pointlike sets: the finest aperiodic cover of a finite semigroup

0 references

APERIODIC POINTLIKES AND BEYOND

0 references

Interpolation and definability in guarded fragments

0 references

Q4938431

0 references

Uniform interpolation and the existence of sequent calculi

0 references

Logical separability of labeled data examples under ontologies

0 references

Equivalence closure in the two-variable guarded fragment

0 references

Formal Properties of Modularisation

0 references

The Logical Difference Problem for Description Logic Terminologies

0 references

Count and Forget: Uniform Interpolation of $\mathcal{SHQ}$ -Ontologies

0 references

Uniform interpolation and coherence

0 references

Ideal Downward Refinement in the $\mathcal{EL}$ Description Logic

0 references

Concept learning in description logics using refinement operators

0 references

Learning in Description Logics with Fuzzy Concrete Domains

0 references

Foundations of instance level updates in expressive description logics

0 references

Q5232905

0 references

Q3022776

0 references

Q4250364

0 references

Failure of interpolation in combined modal logics

0 references

Computer Aided Verification

0 references

(Non-)succinctness of uniform interpolants of general terminologies in the description logic $\mathcal{EL}$

0 references

Amalgamation, congruence-extension, and interpolation properties in algebras

0 references

On an interpretation of second order quantification in first order intuitionistic propositional logic

0 references

Separating regular languages with two quantifier alternations

0 references

Separating Regular Languages with First-Order Logic

0 references

Adding Successor

0 references

Modal tableau calculi and interpolation

0 references

Interpolation for extended modal languages

0 references

Beth Definability in Expressive Description Logics

0 references

Database Repairing and Consistent Query Answering

0 references

Q4636969

0 references

The many faces of interpolation

0 references

Q4893140

0 references

Identifiers

0 references

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6082232

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