| 2016 | Sequent Calculus for Intuitionistic Epistemic Logic IEL. | Vladimir N. Krupski, Alexey Yatmanov |
| 2016 | Probabilistic Justification Logic. | Ioannis Kokkinis, Zoran Ognjanovic, Thomas Studer |
| 2016 | A Quest for Algorithmically Random Infinite Structures, II. | Bakhadyr Khoussainov |
| 2016 | On Lambek's Restriction in the Presence of Exponential Modalities. | Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov |
| 2016 | Augmenting Subset Spaces to Cope with Multi-agent Knowledge. | Bernhard Heinemann |
| 2016 | Type Theoretical Databases. | Henrik Forssell, Hkon Robbestad Gylterud, David I. Spivak |
| 2016 | The Online Space Complexity of Probabilistic Languages. | Nathanal Fijalkow |
| 2016 | Multiple Conclusion Linear Logic: Cut Elimination and More. | Harley Eades III, Valeria de Paiva |
| 2016 | Multiple Conclusion Rules in Logics with the Disjunction Property. | Alex Citkin |
| 2016 | Index Sets for Finite Normal Predicate Logic Programs with Function Symbols. | Douglas A. Cenzer, Victor W. Marek, Jeffrey B. Remmel |
| 2016 | Classical Logic with Mendler Induction - A Dual Calculus and Its Strong Normalization. | Marco Devesas Campos, Marcelo P. Fiore |
| 2016 | On Aggregating Probabilistic Evidence. | Sergei N. Artmov |
| 2016 | Pairing Traditional and Generic Common Knowledge. | Evangelia Antonakos |
| 2016 | Modal Logics with Hard Diamond-Free Fragments. | Antonis Achilleos |
| 2013 | Self-referentiality in the Brouwer-Heyting-Kolmogorov Semantics of Intuitionistic Logic. | Junhua Yu |
| 2013 | Conservatively Approximable Functions. | Sebastian Wyman |
| 2013 | Temporalizing Modal Epistemic Logic. | Ren-June Wang |
| 2013 | On Tolerance Analysis of Games with Belief Revision. | agil Tasdemir |
| 2013 | Constructive Polychronous Systems. | Jean-Pierre Talpin, Jens Brandt, Mike Gemnde, Klaus Schneider, Sandeep K. Shukla |
| 2013 | Normal Forms for Multiple Context-Free Languages and Displacement Lambek Grammars. | Alexey Sorokin |
| 2013 | Justifications, Awareness and Epistemic Dynamics. | Igor Sedlr |
| 2013 | Contextual Natural Deduction. | Bruno Woltzenlogel Paleo |
| 2013 | The Logic of Uncertain Justifications. | Bob Milnikel |
| 2013 | Separating the Fan Theorem and Its Weakenings. | Robert S. Lubarsky, Hannes Diener |
| 2013 | Update as Evidence: Belief Expansion. | Roman Kuznets, Thomas Studer |