Creative Commons
| Preface M. Giese and A. Waaler | ||
| Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis | ||
| Silvio Ghilardi and Silvio Ranise | ||
| On Constructive Connectives and Systems | ||
| Arnon Avron and Ori Lahav | ||
| Generic Modal Cut Elimination Applied to Conditional Logics | ||
| Dirk Pattinson and Lutz Schröder | ||
| Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies | ||
| Mark Kaminski, Sigurd Schneider and Gert Smolka | ||
| Automated Synthesis of Tableau Calculi | ||
| Renate A. Schmidt and Dmitry Tishkovsky | ||
| On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics | ||
| Rajeev Goré, Linda Postniece and Alwen F. Tiu | ||
| Towards a Proof Theory of Gödel Modal Logics | ||
| George Metcalfe and Nicola Olivetti | ||