SOME MODEL THEORY OF GUARDED NEGATION (Q4647097): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Normalize DOI.
 
(One intermediate revision by one other user not shown)
Property / DOI
 
Property / DOI: 10.1017/jsl.2018.64 / rank
Normal rank
 
Property / cites work
 
Property / cites work: Q4864249 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal languages and bounded fragments of predicate logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4406531 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rewriting Guarded Negation Queries / rank
 
Normal rank
Property / cites work
 
Property / cites work: Guarded Negation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Querying the Guarded Fragment / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4--8, 2011. Proceedings, Part II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Effective interpolation and preservation in guarded logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5824680 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model theory. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4255575 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Horn clauses and database dependencies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Data exchange: semantics and query answering / rank
 
Normal rank
Property / cites work
 
Property / cites work: Query evaluation via tree-decompositions / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable / rank
 
Normal rank
Property / cites work
 
Property / cites work: Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width. / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Restraining Power of Guards / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Freedoms of (Guarded) Bisimulation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic for programming and automated reasoning. 6th international conference, LPAR '99, Tbilisi, Georgia, September 6--10, 1999. Proceedings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Multi-dimensional modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Expressive completeness through logically tractable models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal and guarded characterisation theorems over finite transition systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Highly acyclic groups, hypergraph covers, and the guarded fragment / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal logic over finite structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homomorphism preservation theorems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interpolation for extended modal languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3113699 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3781066 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1017/JSL.2018.64 / rank
 
Normal rank

Latest revision as of 14:58, 30 December 2024

scientific article; zbMATH DE number 6997541
Language Label Description Also known as
English
SOME MODEL THEORY OF GUARDED NEGATION
scientific article; zbMATH DE number 6997541

    Statements

    SOME MODEL THEORY OF GUARDED NEGATION (English)
    0 references
    0 references
    0 references
    0 references
    4 January 2019
    0 references
    guarded negation
    0 references
    interpolation
    0 references
    rewriting
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers