Reactive automata

DOI10.1016/j.ic.2011.01.002zbMath1210.68067OpenAlexW2915044267WikidataQ61677895 ScholiaQ61677895MaRDI QIDQ716325

Dov M. Gabbay, Maxime Crochemore

Publication date: 28 April 2011

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2011.01.002

zbMATH Keywords

automatonreactivitylanguage representation

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Completeness theorems for reactive modal logics ⋮ Introducing reactive modal tableaux ⋮ Introducing reactive Kripke semantics and arc accessibility ⋮ Global view on reactivity: switch graphs and their logics ⋮ Modal logics of reactive frames ⋮ The Talmudic logic project, ongoing since 2008

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Introducing reactive Kripke semantics and arc accessibility
• Logical modes of attack in argumentation networks
• REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE
• Reactive Kripke Models and Contrary to Duty Obligations
• Introducing Reactive Kripke Semantics and Arc Accessibility