Volume 66, Issue 1-4

December 2012

Special Issue: New Developments in Reactive Semantics

Issue Editors:

9 articles in this issue

Overview on the connection between reactive Kripke models and argumentation networks
Dov M. Gabbay
EditorialNotes 22 September 2012 Pages: 1 - 5
Introducing reactive Kripke semantics and arc accessibility
D. Gabbay
OriginalPaper 20 September 2012 Pages: 7 - 53
Introducing reactive modal tableaux
Dov Gabbay
OriginalPaper 29 September 2012 Pages: 55 - 79
Completeness theorems for reactive modal logics
Dov Gabbay
OriginalPaper 28 September 2012 Pages: 81 - 129
Global view on reactivity: switch graphs and their logics
Dov Gabbay
Sérgio Marcelino
OriginalPaper 19 September 2012 Pages: 131 - 162
Modelling defeasible and prioritized support in bipolar argumentation
Serena Villata
Guido Boella
Leendert van der Torre
OriginalPaper 19 September 2012 Pages: 163 - 197
A logic of argumentation for specification and verification of abstract argumentation frameworks
Serena Villata
Guido Boella
Joris Hulstijn
OriginalPaper 29 September 2012 Pages: 199 - 230
Causal dynamic inference
Alexander Bochman
Dov M. Gabbay
OriginalPaper 29 November 2012 Pages: 231 - 256
Embedding and automating conditional logics in classical higher-order logic
Christoph Benzmüller
Dov Gabbay
Daniele Rispoli
OriginalPaper 25 September 2012 Pages: 257 - 271

Search