By Clark Barrett, Stéphane Demri, Morgan Deters (auth.), Didier Galmiche, Dominique Larchey-Wendling (eds.)
This booklet constitutes the refereed lawsuits of the 22th overseas convention on automatic Reasoning with Analytic Tableaux and similar equipment, TABLEAUX 2013, held in Nancy, France, in September 2013. The 20 revised examine papers provided including four method descriptions have been conscientiously reviewed and chosen from 38 submissions. The papers conceal many issues as proof-theory in classical and non-classical logics, analytic tableaux for varied logics, comparable thoughts and ideas, e.g., version checking and BDDs, similar tools (model removal, sequent calculi, solution, and connection method), new calculi and techniques for theorem proving and verification in classical and non-classical logics, structures, instruments, implementations and purposes in addition to computerized deduction and formal equipment utilized to common sense, arithmetic, software program improvement, protocol verification, and security.