Pages that link to "Item:Q4948538"
From MaRDI portal
The following pages link to On the Restraining Power of Guards (Q4948538):
Displayed 50 items.
- On logics with two variables (Q1960419) (← links)
- Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment (Q2055791) (← links)
- Logical separability of labeled data examples under ontologies (Q2093388) (← links)
- A simple logic of functional dependence (Q2240545) (← links)
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- Propositional epistemic logics with quantification over agents of knowledge (an alternative approach) (Q2323640) (← links)
- A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities (Q2351166) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- An event-based fragment of first-order logic over intervals (Q2429992) (← links)
- Guards, bounds, and generalized semantics (Q2567341) (← links)
- Guarded fragments with constants (Q2567342) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- The semijoin algebra and the guarded fragment (Q2567344) (← links)
- A guarded fragment for abstract state machines (Q2567346) (← links)
- Complexity of monodic guarded fragments over linear and real time (Q2576942) (← links)
- Computational complexity of theories of a binary predicate with a small number of variables (Q2696689) (← links)
- Decidable fragments of first-order modal logics (Q2758067) (← links)
- A Logical Approach to Data-Aware Automated Sequence Generation (Q2889859) (← links)
- Small substructures and decidability issues for first-order logic with two variables (Q2915891) (← links)
- Recent Advances in Datalog$$^\pm $$ (Q2970309) (← links)
- A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders (Q3010363) (← links)
- Combining Theories: The Ackerman and Guarded Fragments (Q3172881) (← links)
- (Q3305347) (← links)
- Querying the Unary Negation Fragment with Regular Path Expressions. (Q3305361) (← links)
- Interpolation for extended modal languages (Q3370762) (← links)
- The two‐variable fragment with counting and equivalence (Q3460527) (← links)
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (Q3541703) (← links)
- Repetitions and permutations of columns in the semijoin algebra (Q3625687) (← links)
- Description Logics (Q3638996) (← links)
- The Range of Modal Logic (Q4531586) (← links)
- SOME MODEL THEORY OF GUARDED NEGATION (Q4647097) (← links)
- Datalog and Its Extensions for Semantic Web Databases (Q4647813) (← links)
- Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures (Q4650305) (← links)
- Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues (Q4911144) (← links)
- 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)