Similar Items: Model Checking Spatial Logics for Closure Spaces
- The parameterized space complexity of model-checking bounded variable first-order logic
- On Bisimilarity for Quasi-discrete Closure Spaces
- Geometric Model Checking of Continuous Space
- The Complexity of Model Checking Higher-Order Fixpoint Logic
- Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure
- Two Variable vs. Linear Temporal Logic in Model Checking and Games