Reactive Kripke Semantics

1. A Theory of Hypermodal Logics:Mode Shifting in Modal Logic
Dov M. Gabbay

2. Introducing Reactive Kripke Semantics and Arc Accessibility
Dov M. Gabbay

3. Introducing Reactive Modal Tableaux
Dov M. Gabbay

4. Reactive Intuitionistic Tableaux
Dov M. Gabbay

5. Completeness Theorems for Reactive Modal Logics
Dov M. Gabbay

6. Modal Logics of Reactive Frames
Dov M. Gabbay

7. Global View on Reactivity: Switch Graphs and their Logics
Dov M. Gabbay

8. Reactive Automata
Dov M. Gabbay

9. Reactivity and Grammars: An Exploration
Dov M. Gabbay

10. Reactive Flow Products
Dov M. Gabbay

11. Reactive Standard Deontic Logic
Dov M. Gabbay

12. Reactive Preferential Structures and Non-monotonic Consequence
Dov M. Gabbay

Avainsanat: Computer Science, Mathematical Logic and Formal Languages, Artificial Intelligence (incl. Robotics), Mathematical Logic and Foundations, Logic