Similar Items: Logic and Branching Automata
- Satisfiability Games for Branching-Time Logics
- Positive Hennessy-Milner Logic for Branching Bisimulation
- Automata Linear Dynamic Logic on Finite Traces
- Register Automata with Extrema Constraints, and an Application to Two-Variable Logic
- Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure
- An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet