Similar Items: Logics with rigidly guarded data tests
- Guarded Second-Order Logic, Spanning Trees, and Network Flows
- On two-variable guarded fragment logic with expressive local Presburger constraints
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
- Querying the Guarded Fragment
- On guarded extensions of MMSNP
- Assessing transferred energy in drone impacts using rigid impactor tests