1 | -- | 19 | Paulo Mateus, Amílcar Sernadas, André Souto. Universality of quantum Turing machines with deterministic control |
21 | -- | 40 | Mario Piazza, Gabriele Pulcini. Unifying logics via context-sensitiveness |
41 | -- | 80 | Matthew Collinson, Kevin Mcdonald, David J. Pym. Layered graph logic as an assertion language for access control policy models |
81 | -- | 107 | Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen. Completeness and termination for a Seligman-style tableau system |
109 | -- | 128 | Sebastian Eberhard, Stefan Hetzl, Daniel Weller. Boolean unification with predicates |
129 | -- | 154 | Tomás Kroupa, Bruno Teheux. Modal extensions of Łukasiewicz logic for modelling coalitional power |
155 | -- | 199 | Umberto Rivieccio, Achim Jung, Ramon Jansana. Four-valued modal logic: Kripke semantics and duality |
201 | -- | 212 | Steffen Lewitzka. A modal logic amalgam of classical and intuitionistic propositional logic |
213 | -- | 225 | Hiroyuki Kido, Yukio Ohsawa, Katsumi Nitta. Paretian argumentation frameworks for Pareto optimal arguments |
227 | -- | 259 | Edmond Awad, Richard Booth 0001, Fernando Tohmé, Iyad Rahwan. Judgement aggregation in multi-agent argumentation |
261 | -- | 297 | Salem Benferhat, Zied Bouraoui. Min-based possibilistic DL-Lite |
299 | -- | 336 | Amanda Vidal, Francesc Esteva, Lluis Godo. On modal extensions of Product fuzzy logic |
337 | -- | 356 | Milan Petrík, Thomas Vetterlein. Rees coextensions of finite, negative tomonoids |
357 | -- | 394 | Ernst-Erich Doberkat, Pedro Sánchez Terraf. Stochastic non-determinism and effectivity functions |
395 | -- | 412 | Pavel Naumov, Jia Tao. A modal logic for reasoning about economic policies |
413 | -- | 414 | Matthew Collinson, Kevin Mcdonald, Simon Docherty, David J. Pym. Erratum to: A substructural logic for layered graphs |