Finite automata based on quantum logic and monadic second-order quantum logic

Quantum finite automata using quantum logic

Quantum Finite Automata and Logics

Mathematical logic and quantum finite state automata

A theory of computation based on unsharp quantum logic: Finite state automata and pushdown automata

Quantum logic and automata theory

On Relation Between Linear Temporal Logic and Quantum Finite Automata