zbMath1083.03022MaRDI QIDQ5465439
Tim French, M. A. Reynolds
Publication date: 22 August 2005
zbMATH Keywords
completeness; Büchi automata; proof systems; axiomatization; quantified propositional temporal logic; Rabin automata; past temporal operators
Mathematics Subject Classification ID
03D05: Automata and formal grammars in connection with logical questions
03B44: Temporal logic