| 863 | -- | 882 | Zdenka Riecanová, Jan Paseka. State smearing theorems and the existence of states on some atomic lattice effect algebras |
| 883 | -- | 906 | Tijmen R. Daniëls. Social choice and the logic of simple games |
| 907 | -- | 937 | Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Logic for coalitions with bounded resources |
| 939 | -- | 958 | Catalin Dima. Non-axiomatizability for the linear temporal logic of knowledge with concrete observability |
| 959 | -- | 1003 | Sanjay Modgil, Trevor J. M. Bench-Capon. Metalevel argumentation |
| 1005 | -- | 1034 | Bryan Renne. Public communication in justification logic |
| 1035 | -- | 1063 | Robert Goldblatt. Cover semantics for quantified lax logic |
| 1065 | -- | 1092 | Catarina Carvalho, Víctor Dalmau, Andrei A. Krokhin. Two new homomorphism dualities and lattice operations |
| 1093 | -- | 1163 | Andrea Masini, Luca Viganò, Marco Volpe. Labelled natural deduction for a bundled branching temporal logic |
| 1165 | -- | 1176 | George Georgescu. Probabilistic models for intuitionistic predicate logic |
| 1177 | -- | 1216 | James Brotherston, Alex Simpson. Sequent calculi for induction and infinite descent |
| 1217 | -- | 1256 | Stephen Cranefield, Michael Winikoff. Verifying social expectations by model checking truncated paths |
| 1257 | -- | 1281 | Yue Ma, Guilin Qi, Pascal Hitzler. Computing inconsistency measure based on paraconsistent semantics |