Pages that link to "Item:Q4647097"
From MaRDI portal
The following pages link to SOME MODEL THEORY OF GUARDED NEGATION (Q4647097):
Displaying 11 items.
- A model of guarded recursion via generalised equilogical spaces (Q1704599) (← links)
- Logical separability of labeled data examples under ontologies (Q2093388) (← links)
- A comparative study of various model-theoretic treatments of negation: A history of formal negation (Q2715515) (← links)
- Universal guards, relativization of quantifiers, and failure models in model checking modulo theories (Q2786907) (← links)
- Rewriting Guarded Negation Queries (Q2849901) (← links)
- Effective interpolation and preservation in guarded logics (Q4635596) (← links)
- TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY (Q5159499) (← links)
- Effective Interpolation and Preservation in Guarded Logics (Q5277909) (← links)
- Back and forth between guarded and modal logics (Q5738962) (← links)
- Guarded negation (Q5890544) (← links)
- Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory (Q6597957) (← links)