Publication:4029611

From MaRDI portal

Revision as of 03:37, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4029611&oldid=17743619"