Abstract is missing.
- On Interpolation in Decision ProceduresMaria Paola Bonacina, Moa Johansson. 1-16 [doi]
- First-Order Tableaux in Applications (Extended Abstract)Ulrich Furbach. 17-19 [doi]
- Proof Theory and Algebra in Substructural LogicsKazushige Terui. 20 [doi]
- CSymLean: A Theorem Prover for the Logic CSL over Symmetric MinspacesRégis Alenda, Nicola Olivetti. 21-26 [doi]
- Schemata of SMT-ProblemsVincent Aravantinos, Nicolas Peltier. 27-42 [doi]
- Kripke Semantics for Basic Sequent SystemsArnon Avron, Ori Lahav. 43-57 [doi]
- Hybrid and First-Order Complete Extensions of CaRetLaura Bozzelli, Ruggero Lanotte. 58-72 [doi]
- Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear OrdersDavide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. 73-87 [doi]
- Craig Interpolation in Displayable LogicsJames Brotherston, Rajeev Goré. 88-103 [doi]
- A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with BindersSerenella Cerrito, Marta Cialdea Mayer. 104-118 [doi]
- Basic Constructive Connectives, Determinism and Matrix-Based SemanticsAgata Ciabattoni, Ori Lahav, Anna Zamansky. 119-133 [doi]
- On the Proof Complexity of Cut-Free Bounded Deep InferenceAnupam Das. 134-148 [doi]
- The Modal ::::μ::::-Calculus Caught Off GuardOliver Friedmann, Martin Lange. 149-163 [doi]
- A Conditional Constructive Logic for Access Control and Its Sequent CalculusValerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato. 164-179 [doi]
- A Tableau Calculus for a Nonmonotonic Extension of ::::EL:::::::^:::/mathcal{EL}^/botLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. 180-195 [doi]
- Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid LogicsMark Kaminski, Thomas Schneider 0002, Gert Smolka. 196-210 [doi]
- Cut Elimination for Shallow Modal LogicsBjörn Lellmann, Dirk Pattinson. 211-225 [doi]
- A Non-clausal Connection CalculusJens Otten. 226-241 [doi]
- METTEL/textsc{Met/hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference EngineDmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi. 242-247 [doi]
- A Hypersequent System for Gödel-Dummett Logic with Non-constant DomainsAlwen Tiu. 248-262 [doi]
- MaLeCoP Machine Learning Connection ProverJosef Urban, Jirí Vyskocil, Petr Stepánek. 263-277 [doi]