| 2016 | A Classical Propositional Logic for Reasoning About Reversible Logic Circuits. Holger Bock Axelsen, Robert Glück, Robin Kaarsgaard |
| 2016 | A Curry-Howard View of Basic Justification Logic. Konstantinos Pouliasis |
| 2016 | A Logical Approach to Context-Specific Independence. Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen |
| 2016 | A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits. Anselm Haak, Heribert Vollmer |
| 2016 | A Multi-type Calculus for Inquisitive Logic. Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang |
| 2016 | Anaphors and Quantifiers. Richard Zuber |
| 2016 | Categories: How I Learned to Stop Worrying and Love Two Sorts. Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg |
| 2016 | Causality in Bounded Petri Nets is MSO Definable. Mateus de Oliveira Oliveira |
| 2016 | Characterizing Relative Frame Definability in Team Semantics via the Universal Modality. Katsuhiko Sano, Jonni Virtema |
| 2016 | Compactness in Infinitary Gödel Logics. Juan P. Aguilera |
| 2016 | Cut Elimination for Gödel Logic with an Operator Adding a Constant. Juan P. Aguilera, Matthias Baaz |
| 2016 | Descriptive Complexity of Graph Spectra. Anuj Dawar, Simone Severini, Octavio Zapata |
| 2016 | Expressivity of Many-Valued Modal Logics, Coalgebraically. Marta Bílková, Matej Dostál |
| 2016 | Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction. John T. Baldwin |
| 2016 | Justified Belief and the Topology of Evidence. Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets |
| 2016 | Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings Jouko A. Väänänen, Åsa Hirvonen, Ruy J. G. B. de Queiroz |
| 2016 | Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited. Fan Yang |
| 2016 | On the Complexity of the Equational Theory of Residuated Boolean Algebras. Zhe Lin, Minghui Ma |
| 2016 | On the Formalization of Some Results of Context-Free Language Theory. Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida |
| 2016 | Second-Order False-Belief Tasks: Analysis and Formalization. Torben Braüner, Patrick Blackburn, Irina Polyanskaya |
| 2016 | Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints. Pablo Barceló |
| 2016 | Semantic Equivalence of Graph Polynomials Definable in Second Order Logic. Johann A. Makowsky, Elena V. Ravve |
| 2016 | Sheaves of Metric Structures. Maicol A. Ochoa, Andrés Villaveces |
| 2016 | The Expressive Power of k-ary Exclusion Logic. Raine Rönnholm |
| 2016 | The Semantics of Corrections. Deniz Rudin, Karl DeVries, Karen Duek, Kelsey Kraus, Adrian Brasoveanu |
| 2016 | The Useful MAM, a Reasonable Implementation of the Strong λ-Calculus. Beniamino Accattoli |
| 2016 | True Concurrency of Deep Inference Proofs. Ozan Kahramanogullari |