| 1367 | -- | 1442 | Giuseppe Greco 0001, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao. Unified correspondence as a proof-theoretic tool |
| 1443 | -- | 1470 | Carlos Areces, Raul Fervari, Guillaume Hoffmann, Mauricio Martel. Satisfiability for relation-changing logics |
| 1471 | -- | 1498 | Arianna Novaro, Umberto Grandi, Andreas Herzig. Judgment aggregation in dynamic logic of propositional assignments |
| 1499 | -- | 1522 | Wesley Calvert, Andrey Frolov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, A. Soskova, S. Vatev. Strong jump inversion |
| 1523 | -- | 1563 | Ofer Arieli, Annemarie Borg, Christian Straßer. Reasoning with maximal consistency by argumentative approaches |
| 1565 | -- | 1600 | Filippo Sestini, Silvia Crafa. Proof search in a context-sensitive logic for molecular biology |
| 1601 | -- | 1634 | Nicolas Schwind, Sébastien Konieczny, Pierre Marquis. Belief base rationalization for propositional merging |
| 1635 | -- | 1646 | Vladimir Gurvich. Backward induction in presence of cycles |
| 1647 | -- | 1670 | Kaya Deuser, Pavel Naumov. Navigability with intermediate constraints |
| 1671 | -- | 1699 | Jérôme Delobelle, Sébastien Konieczny, Srdjan Vesic. On the aggregation of argumentation frameworks: operators and postulates |
| 1701 | -- | 1712 | Rosalie Iemhoff. Terminating sequent calculi for two intuitionistic modal logics |