Pages that link to "Item:Q4948538"
From MaRDI portal
The following pages link to On the Restraining Power of Guards (Q4948538):
Displaying 25 items.
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Guarded Ontology-Mediated Queries (Q5015964) (← links)
- Semiring Provenance for Guarded Logics (Q5015965) (← links)
- Adding Guarded Constructions to the Syllogistic (Q5015968) (← links)
- (Q5091133) (← links)
- (Q5092374) (← links)
- (Q5092376) (← links)
- THE FLUTED FRAGMENT REVISITED (Q5195057) (← links)
- On the Decidability of Elementary Modal Logics (Q5277903) (← links)
- Effective Interpolation and Preservation in Guarded Logics (Q5277909) (← links)
- Complexity of Two-Variable Logic on Finite Trees (Q5278193) (← links)
- Finite-Variable Logics Do Not Have Weak Beth Definability Property (Q5350328) (← links)
- Omitting types for finite variable fragments and complete representations of algebras (Q5387302) (← links)
- Uniform Constraint Satisfaction Problems and Database Theory (Q5504703) (← links)
- Guarded negation (Q5890544) (← links)
- Guarded Negation (Q5892612) (← links)
- Games and Lindström theorems (Q6043095) (← links)
- Epistemic logics with quantification over epistemic operators: decidability and expressiveness (Q6054107) (← links)
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)
- A modal loosely guarded fragment of second-order propositional modal logic (Q6169327) (← links)
- How to tell easy from hard: complexities of conjunctive query entailment in extensions of \(\mathcal{ALC}\) (Q6535408) (← links)
- Reasoning formally about database queries and updates (Q6535969) (← links)
- On two-variable guarded fragment logic with expressive local Presburger constraints (Q6597967) (← links)
- Craig interpolation for decidable first-order fragments (Q6629523) (← links)
- Finite model property and bisimulation for LFD (Q6649522) (← links)
