Similar Items: Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
- Coalgebraic Satisfiability Checking for Arithmetic $mu$-Calculi
- FO Model Checking of Interval Graphs
- Satisfiability Games for Branching-Time Logics
- The Complexity of Generalized Satisfiability for Linear Temporal Logic
- On the Satisfiability of Local First-Order Logics with Data
- The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete