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