| 2011 | A Conditional Constructive Logic for Access Control and Its Sequent Calculus. Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato |
| 2011 | A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains. Alwen Tiu |
| 2011 | A Non-clausal Connection Calculus. Jens Otten |
| 2011 | A Tableau Calculus for a Nonmonotonic Extension of Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2011 | A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders. Serenella Cerrito, Marta Cialdea Mayer |
| 2011 | Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings Kai Brünnler, George Metcalfe |
| 2011 | Basic Constructive Connectives, Determinism and Matrix-Based Semantics. Agata Ciabattoni, Ori Lahav, Anna Zamansky |
| 2011 | CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces. Régis Alenda, Nicola Olivetti |
| 2011 | Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics. Mark Kaminski, Thomas Schneider, Gert Smolka |
| 2011 | Craig Interpolation in Displayable Logics. James Brotherston, Rajeev Goré |
| 2011 | Cut Elimination for Shallow Modal Logics. Björn Lellmann, Dirk Pattinson |
| 2011 | First-Order Tableaux in Applications (Extended Abstract). Ulrich Furbach |
| 2011 | Hybrid and First-Order Complete Extensions of CaRet. Laura Bozzelli, Ruggero Lanotte |
| 2011 | Kripke Semantics for Basic Sequent Systems. Arnon Avron, Ori Lahav |
| 2011 | METTEL\textsc{Met\hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine. Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi |
| 2011 | MaLeCoP Machine Learning Connection Prover. Josef Urban, Jirí Vyskocil, Petr Stepánek |
| 2011 | On Interpolation in Decision Procedures. Maria Paola Bonacina, Moa Johansson |
| 2011 | On the Proof Complexity of Cut-Free Bounded Deep Inference. Anupam Das |
| 2011 | Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2011 | Proof Theory and Algebra in Substructural Logics. Kazushige Terui |
| 2011 | Schemata of SMT-Problems. Vincent Aravantinos, Nicolas Peltier |
| 2011 | The Modal Oliver Friedmann, Martin Lange |