Login

Gabbay, Dov M.

Reactive Kripke Semantics

Gabbay, Dov M. - Reactive Kripke Semantics, ebook

129,65€

Ebook, PDF with Adobe DRM
ISBN: 9783642413896
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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

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

Author(s)
Publisher
Springer
Publication year
2013
Language
en
Edition
2013
Series
Cognitive Technologies
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9783642413896

Similar titles