Publication:4029611

zbMath0759.03011MaRDI QIDQ4029611

Wolfgang Thomas

Publication date: 28 March 1993

zbMATH Keywords

semigroup; liveness; safety; model theory; formal language; propositional temporal logic; omega-languages

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03B45: Modal logic (including the logic of norms)

03D05: Automata and formal grammars in connection with logical questions

03B25: Decidability of theories and sets of sentences

20M35: Semigroups in automata theory, linguistics, etc.

03C80: Logic with extra quantifiers and operators

Related Items

On the expressive power of temporal logic for infinite words