Reactive Kripke Semantics - Cognitive Technologies
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642413889, 9783642413896

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reactive Preferential Structures and Non-monotonic Consequence

Reactive Kripke Semantics - Cognitive Technologies ◽

10.1007/978-3-642-41389-6_12 ◽

2013 ◽

pp. 389-430

Author(s):

Dov M. Gabbay

Download Full-text

Reactive Intuitionistic Tableaux

Reactive Kripke Semantics - Cognitive Technologies ◽

10.1007/978-3-642-41389-6_4 ◽

2013 ◽

pp. 101-117

Author(s):

Dov M. Gabbay

Download Full-text

Global View on Reactivity: Switch Graphs and their Logics

Reactive Kripke Semantics - Cognitive Technologies ◽

10.1007/978-3-642-41389-6_7 ◽

2013 ◽

pp. 203-236

Author(s):

Dov M. Gabbay

Keyword(s):

Global View

Download Full-text

Introducing Reactive Modal Tableaux

Reactive Kripke Semantics - Cognitive Technologies ◽

10.1007/978-3-642-41389-6_3 ◽

2013 ◽

pp. 77-99 ◽

Cited By ~ 2

Author(s):

Dov M. Gabbay

Download Full-text

Reactivity and Grammars: An Exploration

Reactive Kripke Semantics - Cognitive Technologies ◽

10.1007/978-3-642-41389-6_9 ◽

2013 ◽

pp. 257-308

Author(s):

Dov M. Gabbay

Download Full-text

Reactive Automata

Reactive Kripke Semantics - Cognitive Technologies ◽

10.1007/978-3-642-41389-6_8 ◽

2013 ◽

pp. 237-256

Author(s):

Dov M. Gabbay

Download Full-text

Modal Logics of Reactive Frames

Reactive Kripke Semantics - Cognitive Technologies ◽

10.1007/978-3-642-41389-6_6 ◽

2013 ◽

pp. 169-202

Author(s):

Dov M. Gabbay

Keyword(s):

Modal Logics

Download Full-text

Completeness Theorems for Reactive Modal Logics

Reactive Kripke Semantics - Cognitive Technologies ◽

10.1007/978-3-642-41389-6_5 ◽

2013 ◽

pp. 119-167

Author(s):

Dov M. Gabbay

Keyword(s):

Modal Logics ◽

Completeness Theorems

Download Full-text

Reactive Flow Products

Reactive Kripke Semantics - Cognitive Technologies ◽

10.1007/978-3-642-41389-6_10 ◽

2013 ◽

pp. 309-343

Author(s):

Dov M. Gabbay

Keyword(s):

Reactive Flow

Download Full-text

Introducing Reactive Kripke Semantics and Arc Accessibility

Reactive Kripke Semantics - Cognitive Technologies ◽

10.1007/978-3-642-41389-6_2 ◽

2013 ◽

pp. 29-76

Author(s):

Dov M. Gabbay

Keyword(s):

Kripke Semantics

Download Full-text

Reactive Kripke Semantics - Cognitive TechnologiesLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Reactive Preferential Structures and Non-monotonic Consequence

Reactive Intuitionistic Tableaux

Global View on Reactivity: Switch Graphs and their Logics

Introducing Reactive Modal Tableaux

Reactivity and Grammars: An Exploration

Reactive Automata

Modal Logics of Reactive Frames

Completeness Theorems for Reactive Modal Logics

Reactive Flow Products

Introducing Reactive Kripke Semantics and Arc Accessibility

Reactive Kripke Semantics - Cognitive Technologies
Latest Publications