Automated reasoning with analytic tableaux and related methods. International conference TABLEAUX 2003, Rome, Italy, September 9--12, 2003. Proceedings (Q1413054)

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0993.00044). Indexed articles: \textit{Avron, Arnon}, Tableaux with four signs as a unified framework, 4-16 [Zbl 1274.03018] \textit{Brunet, Olivier}, A labelled sequent-calculus for observation logic, 17-31 [Zbl 1274.03036] \textit{Ciabattoni, Agata; Metcalfe, George}, Bounded Łukasiewicz logics, 32-47 [Zbl 1274.03042] \textit{Fermüller, Christian G.}, Parallel dialogue games and hypersequents for intermediate logics, 48-64 [Zbl 1274.03052] \textit{Giese, Martin}, Simplification rules for constrained formula tableaux, 65-80 [Zbl 1274.03020] \textit{Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Schwind, Camilla}, Tableau calculi for preference-based conditional logics, 81-101 [Zbl 1274.03021] \textit{Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido}, A general tableau method for propositional interval temporal logics, 102-116 [Zbl 1274.03033] \textit{Letz, Reinhold; Stenz, Gernot}, Universal variables in disconnection tableaux, 117-133 [Zbl 1274.03022] \textit{Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael}, A tableau algorithm for reasoning about concepts and similarity, 134-149 [Zbl 1274.68411] \textit{Marx, Maarten}, XPath and modal logics of finite DAG's, 150-164 [Zbl 1274.03038] \textit{Murray, Neil V.; Rosenthal, Erik}, Tableaux, path dissolution, and decomposable negation normal form for knowledge compilation, 165-180 [Zbl 1274.03023] \textit{Peltier, Nicolas}, A more efficient tableaux procedure for simultaneous search for refutations and finite models, 181-195 [Zbl 1274.03024] \textit{Velev, Miroslav N.}, Automatic abstraction of equations in a logic of equality, 196-213 [Zbl 1274.03025] \textit{Waaler, Arild; Antonsen, Roger}, A free variable sequent calculus with uniform variable splitting, 214-229 [Zbl 1274.03026] \textit{Abate, Pietro; Goré, Rajeev}, The tableaux work bench, 230-236 [Zbl 1274.68404] \textit{Brown, Frank M.}, Decision procedures for the propositional cases of second order logic and Z modal logic representations of a first order \(L\)-predicate nonmonotonic logic, 237-245 [Zbl 1274.68405] \textit{Brown, Frank M.}, Logistica 2.0: a technology for implementing automatic deduction systems, 246-251 [Zbl 1274.68406] \textit{Hähnle, Reiner; Sörensson, Niklas}, Fair constraint merging tableaux in lazy functional programming style, 252-256 [Zbl 1274.68409] \textit{Nabeshima, Hidetomo; Iwanuma, Koji; Inoue, Katsumi}, SOLAR: a consequence finding system for advanced reasoning, 257-263 [Zbl 1274.68412] \textit{Olivetti, Nicola; Pozzato, Gian Luca}, CondLean: a theorem prover for conditional logics, 264-270 [Zbl 1274.68414]