Similar Items: Satisfiability Games for Branching-Time Logics
- Logic and Branching Automata
- The Complexity of Generalized Satisfiability for Linear Temporal Logic
- On the Satisfiability of Local First-Order Logics with Data
- Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
- Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership
- Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption