Reiner Hähnle (haehnle)

Contributions to Philosophie.ch

Bibliography

Beckert, Bernhard and Hähnle, Reiner. 1998. “Analytic Tableaux.” in Automated Deduction: A Basis for Applications. Volume I, Foundations: Calculi and Methods, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 11–42. Applied Logic Series n. 8. Dordrecht: Kluwer Academic Publishers.
D’Agostino, Marcello, Gabbay, Dov M., Hähnle, Reiner and Posegga, Joachim, eds. 1999. Handbook of Tableau Methods. Berlin: Springer.
Hähnle, Reiner, ed. 1993. Automated Deduction in Multiple-Valued Logics. Oxford: Oxford University Press.
Hähnle, Reiner. 1999. “Tableaux for Many-valued Logics.” in Handbook of Tableau Methods, edited by Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, pp. 529–580. Berlin: Springer.
Hähnle, Reiner. 2001. “Advanced Many-valued Logics.” in Handbook of Philosophical Logic, Volume II, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 297–395. Dordrecht: Springer.
Hähnle, Reiner and Ibens, Ostrun. 1994. “Improving Temporal Logic Tableaux Using Integer Constraints.” in Temporal Logic, First International Conference ICTL’94, Bonn, Germany, July 11–14, 1994, edited by Dov M. Gabbay and Hans Jürgen Ohlbach, pp. 535–539. Lecture Notes in Computer Science n. 827. Berlin: Springer.