Introducing Reactive Kripke Semantics and Arc Accessibility

DOI10.1007/978-3-540-78127-1_17zbMath1134.03012OpenAlexW4298198375MaRDI QIDQ5452184

Dov M. Gabbay

Publication date: 25 March 2008

Published in: Pillars of Computer Science (Search for Journal in Brave)

Full work available at URL: http://orbilu.uni.lu/handle/10993/15853

zbMATH Keywords

reactive frames

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10) Modal logic (including the logic of norms) (03B45)

Related Items

Global view on reactivity: switch graphs and their logics ⋮ Moving in a network under random failures: a complexity analysis ⋮ Reactive automata ⋮ Verification of dynamic bisimulation theorems in Coq

Cites Work

• Logics of communication and change
• Many-dimensional modal logics: theory and applications
• A theory of hypermodal logics: Mode shifting in modal logic
• Introducing reactive Kripke semantics and arc accessibility
• Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics
• Products of modal logics. Part 2: relativised quantifiers in classical logic
• Reactivity and Grammars: An Exploration
• Mechanizing Mathematical Reasoning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Introducing Reactive Kripke Semantics and Arc Accessibility