Introducing Reactive Kripke Semantics and Arc Accessibility
From MaRDI portal
Publication:5452184
DOI10.1007/978-3-540-78127-1_17zbMath1134.03012OpenAlexW4298198375MaRDI QIDQ5452184
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
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