Pages that link to "Item:Q2865008"
From MaRDI portal
The following pages link to Beth definability in expressive description logics (Q2865008):
Displaying 10 items.
- \(\mathcal {BCDL}\): Basic constructive description logic (Q972431) (← links)
- A note on constructive interpolation for the multi-modal logic \(K_m\) (Q2133432) (← links)
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus (Q2142087) (← links)
- Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi (Q2835880) (← links)
- On Enumerating Query Plans Using Analytic Tableau (Q3455780) (← links)
- (Q5232905) (← links)
- Effective Interpolation and Preservation in Guarded Logics (Q5277909) (← links)
- Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)
- Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory (Q6597957) (← links)
- Craig interpolation for decidable first-order fragments (Q6629523) (← links)