Journal: Journal of Logic and Computation

Volume 27, Issue 1

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