SOME MODEL THEORY OF GUARDED NEGATION
From MaRDI portal
Publication:4647097
Recommendations
- A note on guarded theories
- Constructive predicate logic with strong negation and model theory
- A model of guarded recursion via generalised equilogical spaces
- Universal guards, relativization of quantifiers, and failure models in model checking modulo theories
- scientific article; zbMATH DE number 92602
- On guarded transformation in the modal \(\mu\)-calculus
- Introduction to Guarded Logics
- Back and forth between guarded and modal logics
- Guarded quantification in least fixed point logic
- Guards, bounds, and generalized semantics
Cites work
- scientific article; zbMATH DE number 4041866 (Why is no real title available?)
- scientific article; zbMATH DE number 1324669 (Why is no real title available?)
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- scientific article; zbMATH DE number 839556 (Why is no real title available?)
- scientific article; zbMATH DE number 3085803 (Why is no real title available?)
- Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4--8, 2011. Proceedings, Part II
- Data exchange: semantics and query answering
- Effective interpolation and preservation in guarded logics
- Expressive completeness through logically tractable models
- Guarded negation
- Highly acyclic groups, hypergraph covers, and the guarded fragment
- Homomorphism preservation theorems
- Horn clauses and database dependencies
- Interpolation for extended modal languages
- Logic for programming and automated reasoning. 6th international conference, LPAR '99, Tbilisi, Georgia, September 6--10, 1999. Proceedings
- Modal and guarded characterisation theorems over finite transition systems
- Modal languages and bounded fragments of predicate logic
- Modal logic over finite structures
- Model theory.
- Multi-dimensional modal logic
- On the Restraining Power of Guards
- Query evaluation via tree-decompositions
- Querying the Guarded Fragment
- Rewriting Guarded Negation Queries
- Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width.
- The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable
- The freedoms of (guarded) bisimulation
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Unary negation
Cited in
(14)- Universal guards, relativization of quantifiers, and failure models in model checking modulo theories
- Guarded negation
- Rewriting Guarded Negation Queries
- Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
- Back and forth between guarded and modal logics
- Effective interpolation and preservation in guarded logics
- A comparative study of various model-theoretic treatments of negation: A history of formal negation
- Effective interpolation and preservation in guarded logics
- Uniform guarded fragments
- TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
- Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
- Guarded negation
- A model of guarded recursion via generalised equilogical spaces
- Logical separability of labeled data examples under ontologies
This page was built for publication: SOME MODEL THEORY OF GUARDED NEGATION
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4647097)