SOME MODEL THEORY OF GUARDED NEGATION
From MaRDI portal
Publication:4647097
DOI10.1017/jsl.2018.64OpenAlexW2906231331MaRDI QIDQ4647097
Vince Bárány, Michael Benedikt, Balder ten Cate
Publication date: 4 January 2019
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2005.06299
Related Items (4)
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions ⋮ Uniform guarded fragments ⋮ TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY ⋮ Logical separability of labeled data examples under ontologies
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Expressive completeness through logically tractable models
- Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4--8, 2011. Proceedings, Part II
- Data exchange: semantics and query answering
- Model theory.
- Modal languages and bounded fragments of predicate logic
- Logic for programming and automated reasoning. 6th international conference, LPAR '99, Tbilisi, Georgia, September 6--10, 1999. Proceedings
- Modal logic over finite structures
- Multi-dimensional modal logic
- Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width.
- Modal and guarded characterisation theorems over finite transition systems
- Rewriting Guarded Negation Queries
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Interpolation for extended modal languages
- Query evaluation via tree-decompositions
- Homomorphism preservation theorems
- Horn clauses and database dependencies
- Effective interpolation and preservation in guarded logics
- The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable
- On the Restraining Power of Guards
- The Freedoms of (Guarded) Bisimulation
- Highly acyclic groups, hypergraph covers, and the guarded fragment
- Querying the Guarded Fragment
- Guarded Negation
This page was built for publication: SOME MODEL THEORY OF GUARDED NEGATION