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 |