TABLEAUX 2015 Accepted Papers

  1. Annemarie Borg, Roman Kuznets.   Realization Theorems for Justification Logics: Full Modularity.
  2. Camillo Fiorentini, Mauro Ferrari.   Proof Search in Natural Deduction Calculus for Classical Propositional Logic.
  3. Cezary Kaliszyk.   Efficient Low-Level Connection Tableaux.
  4. Richard Bubel, Crystal Chang Din, Reiner Hähnle, Keiko Nakata.   A Dynamic Logic with Traces and Coinduction.
  5. Christoph Wernhard.   Second-Order Quantifier Elimination on Relational Monadic Formulas — A Basic Method and Some Less Expected Applications.
  6. Valentin Cassano, Carlos Gustavo Lopez Pombo, Tomas Maibaum.   A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules.
  7. Nicola Olivetti, Gian Luca Pozzato.   A Standard Internal Calculus for Lewis' Counterfactual Logics.
  8. John McCabe-Dansted, Mark Reynolds.   A Tableau for Bundled Strategies.
  9. Zakaria Chihani, Tomer Libal, Giselle Reis.   The Proof Certifier "Checkers".
  10. Agata Ciabattoni, Elisa Freschi, Francesco Antonio Genco, Björn Lellmann.   Mīmāṃsā Deontic Logic: Proof Theory and Applications.
  11. Alexander Hudek, David Toman, Grant Weddell.   On Enumerating Query Plans Using Analytic Tableau.
  12. Sara Negri, Nicola Olivetti.   A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics.
  13. Renate Schmidt, Uwe Waldmann.   Modal Tableau Systems with Blocking and Congruence Closure.
  14. Taus Brock-Nannestad, Kaustuv Chaudhuri.   Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations.
  15. Ullrich Hustadt, Paul Gainer, Clare Dixon, Cláudia Nalon, Lan Zhang.   Ordered Resolution for Coalition Logic.
  16. Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure   Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method.
  17. Peter Backeman, Philipp Rümmer.   Efficient Algorithms for Bounded Rigid E-Unification.
  18. James Brotherston, Nikos Gorogiannis.   Disproving Inductive Entailments in Separation Logic via Base Pair Approximation.
  19. Cláudia Nalon, Ullrich Hustadt, Clare Dixon.   A Modal-Layered Resolution Calculus for K.
  20. Guillaume Bury, David Delahaye.   Integrating Simplex with Tableaux.
  21. Björn Lellmann.   Linear Nested Sequents, 2-Sequents and Hypersequents.