You are here

Reactive Kripke Semantics

Dov M. Gabbay
Publisher: 
Springer
Publication Date: 
2014
Number of Pages: 
442
Format: 
Hardcover
Series: 
Cognitive Technologies
Price: 
129.00
ISBN: 
9783642413889
Category: 
Monograph
We do not plan to review this book.

Chap.1 - A Theory of Hypermodal Logics.- Chap.2 - Introducing Reactive Kripke Semantics and Arc Accessibility.- Chap.3 - Introducing Reactive Modal Tableaux.- Chap.4 - Reactive Intuitionistic Tableaux.- Chap.5 - Completeness Theorems for Reactive Modal Logics.- Chap.6 - Modal Logics of Reactive Frames.- Chap.7 - Global View on Reactivity: Switch Graphs and their Logics.- Chap.8 - Reactive Automata.- Chap.9 - Reactivity and Grammars: An Exploration.- Chap.10 - Reactive Flow Products.- Chap.11 - Reactive Standard Deontic Logic.- Chap.12 - Reactive Preferential Structures and Nonmonotonic Consequence.- References.- Index.

Dummy View - NOT TO BE DELETED