Guarded negation
From MaRDI portal
Publication:5890544
Recommendations
Cites work
- scientific article; zbMATH DE number 53151 (Why is no real title available?)
- scientific article; zbMATH DE number 1303729 (Why is no real title available?)
- scientific article; zbMATH DE number 1860675 (Why is no real title available?)
- Expressive completeness through logically tractable models
- Finite satisfiability for guarded fixpoint logic
- Fixed Point Logics
- Games and model checking for guarded logics
- Guarded negation
- Loosely guarded fragment of first-order logic has the finite model property
- Modal and guarded characterisation theorems over finite transition systems
- Modal languages and bounded fragments of predicate logic
- On languages with two variables
- On the Restraining Power of Guards
- On the complexity of single-rule datalog queries.
- Query evaluation via tree-decompositions
- Querying the Guarded Fragment
- Rewriting Guarded Negation Queries
- The finite graph problem for two-way alternating automata.
- Unary negation
- Undecidability results on two-variable logics
Cited in
(32)- Propositional epistemic logics with quantification over agents of knowledge (an alternative approach)
- Guarded fixed point logics and the monadic theory of countable trees.
- Unary negation
- Monodic fragments of probabilistic first-order temporal logic with bounded semantics
- How to tell easy from hard: complexities of conjunctive query entailment in extensions of \(\mathcal{ALC}\)
- scientific article; zbMATH DE number 7561661 (Why is no real title available?)
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments
- Decidability of querying first-order theories via countermodels of finite width
- scientific article; zbMATH DE number 7561660 (Why is no real title available?)
- Alternating quantifiers in uniform one-dimensional fragments with an excursion into three-variable logic
- Unary negation
- The complexity of boundedness for guarded logics
- Beyond symbolic heaps: deciding separation logic with inductive definitions
- Querying the unary negation fragment with regular path expressions
- Statistical \(\mathcal{EL}\) is \textsc{ExpTime}-complete
- On Monotonic Determinacy and Rewritability for Recursive Queries and Views
- SOME MODEL THEORY OF GUARDED NEGATION
- On polynomial-time decidability of k-negations fragments of first-order theories
- Fluted logic with counting
- Craig interpolation for decidable first-order fragments
- Semiring Provenance for Guarded Logics
- Guarded Ontology-Mediated Queries
- scientific article; zbMATH DE number 7566070 (Why is no real title available?)
- Proof systems for two-way modal -calculus
- Craig interpolation for decidable first-order fragments
- Guarded negation
- Guards, bounds, and generalized semantics
- Evaluating Datalog via tree automata and cycluits
- scientific article; zbMATH DE number 1989656 (Why is no real title available?)
- The adjacent fragment and Quine's limits of decision
- Logical separability of labeled data examples under ontologies
- A uniform one-dimensional fragment with alternation of quantifiers
This page was built for publication: Guarded negation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5890544)
