On the Restraining Power of Guards

From MaRDI portal
Publication:4948538

DOI10.2307/2586808zbMath0958.03027OpenAlexW1483892218MaRDI QIDQ4948538

Erich Grädel

Publication date: 22 March 2001

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586808




Related Items (72)

On the Decidability of Elementary Modal LogicsEffective Interpolation and Preservation in Guarded LogicsThe finite graph problem for two-way alternating automata.Complexity of Two-Variable Logic on Finite TreesThe guarded fragment with transitive guardsA Logical Approach to Data-Aware Automated Sequence GenerationThe Range of Modal LogicModal and guarded characterisation theorems over finite transition systemsCombining Theories: The Ackerman and Guarded FragmentsUnnamed ItemThe two‐variable fragment with counting and equivalenceFirst-order temporal verification in practiceSmall substructures and decidability issues for first-order logic with two variablesOn the complexity of the two-variable guarded fragment with transitive guardsQuerying the Unary Negation Fragment with Regular Path Expressions.On the complexity of division and set joins in the relational algebraGames and Lindström theoremsA survey on temporal logics for specifying and verifying real-time systemsEpistemic logics with quantification over epistemic operators: decidability and expressivenessFinite-Variable Logics Do Not Have Weak Beth Definability PropertyБинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width.Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragmentsHyperresolution for guarded formulaeA modal loosely guarded fragment of second-order propositional modal logicUniform guarded fragmentsComplexity of hybrid logics over transitive framesResolution with order and selection for hybrid logicsAn event-based fragment of first-order logic over intervalsFinite satisfiability for guarded fixpoint logicRecent Advances in Datalog$$^\pm $$Computational complexity of theories of a binary predicate with a small number of variablesOn logics with two variablesTerminating Tableaux for Hybrid Logic with the Difference Modality and ConverseOmitting types for finite variable fragments and complete representations of algebrasResolution-based decision procedures for the universal theory of some classes of distributive lattices with operatorsBisimulation quantifiers and uniform interpolation for guarded first order logicPropositional epistemic logics with quantification over agents of knowledgeA Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with BindersA simple logic of functional dependenceSOME MODEL THEORY OF GUARDED NEGATIONDatalog and Its Extensions for Semantic Web DatabasesDisjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issuesFinite Conformal Hypergraph Covers and Gaifman Cliques in Finite StructuresFirst-Order Resolution Methods for Modal LogicsDecidable fragments of first-order modal logicsUnnamed ItemUnnamed ItemUnnamed ItemTHE FLUTED FRAGMENT REVISITEDGuarded NegationGuarded NegationInterpolation for extended modal languagesRepetitions and permutations of columns in the semijoin algebraA prover dealing with nominals, binders, transitivity and relation hierarchiesExploiting forwardness: satisfiability and query-entailment in forward guarded fragmentDescription LogicsPropositional epistemic logics with quantification over agents of knowledge (an alternative approach)Guards, bounds, and generalized semanticsGuarded fragments with constantsDeciding regular grammar logics with converse through first-order logicThe semijoin algebra and the guarded fragmentA guarded fragment for abstract state machinesUniform Constraint Satisfaction Problems and Database TheoryLogical separability of labeled data examples under ontologiesDecidable fragments of first-order temporal logicsComplexity of monodic guarded fragments over linear and real timeGuarded fixed point logics and the monadic theory of countable trees.Guarded Ontology-Mediated QueriesSemiring Provenance for Guarded LogicsAdding Guarded Constructions to the SyllogisticA tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities



Cites Work


This page was built for publication: On the Restraining Power of Guards