Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity Pablo F. Castro OriginalPaper 05 October 2016 Pages: 229 - 251
On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis Stefano BonzioJosé Gil-FérezLuisa Peruzzi OriginalPaper 14 October 2016 Pages: 253 - 297
Genuine Coherence as Mutual Confirmation Between Content Elements Michael SchippersGerhard Schurz OriginalPaper 14 October 2016 Pages: 299 - 329
Studies on Brutal Contraction and Severe Withdrawal M. GarapaE. FerméM. D. L. Reis OriginalPaper 15 October 2016 Pages: 331 - 360
General-Elimination Stability Bruno JacintoStephen Read OriginalPaper Open access 18 October 2016 Pages: 361 - 405
Notes on the Computational Aspects of Kripke’s Theory of Truth Stanislav O. Speranski OriginalPaper 05 November 2016 Pages: 407 - 429