The following pages link to Tolerance logic (Q5939956):
Displayed 9 items.
- Guarded fixed point logics and the monadic theory of countable trees. (Q1853504) (← links)
- A simple logic of functional dependence (Q2240545) (← links)
- Guards, bounds, and generalized semantics (Q2567341) (← links)
- Guarded fragments with constants (Q2567342) (← links)
- The semijoin algebra and the guarded fragment (Q2567344) (← links)
- Complexity of monodic guarded fragments over linear and real time (Q2576942) (← links)
- Combining Theories: The Ackerman and Guarded Fragments (Q3172881) (← links)
- Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures (Q4650305) (← links)
- A modal loosely guarded fragment of second-order propositional modal logic (Q6169327) (← links)