Hans Jürgen Ohlbach (ohlbach)

Contributions to Philosophie.ch

Bibliography

Eisinger, Norbert, Ohlbach, Hans Jürgen and Präcklein, Axel. 1991. “Reduction Rules for Resolution-Based Systems.” Artificial Intelligence 50(2): 141–181.
Gabbay, Dov M., Johnson, Ralph H., Ohlbach, Hans Jürgen and Woods, John, eds. 2002. Handbook of the Logic of Argument and Inference: The Turn Towards the Practical. Amsterdam: Elsevier Science Publishers B.V.
Gabbay, Dov M. and Ohlbach, Hans Jürgen, eds. 1994. Temporal Logic, First International Conference ICTL’94, Bonn, Germany, July 11–14, 1994. Lecture Notes in Computer Science n. 827. Berlin: Springer.
Nonnengart, Andreas, Ohlbach, Hans Jürgen and Szalas, Andrzej. 1999. “Elimination of Predicate Quantifiers.” in Logic, Language and Reasoning: Essays in Honour of Dov Gabbay, edited by Hans Jürgen Ohlbach and Uwe Reyle, pp. 149–172. Dordrecht: Kluwer Academic Publishers.
Ohlbach, Hans Jürgen. 1991. “Semantics Based Translation Methods for Modal Logics.” Journal of Logic and Computation 2: 691–746.
Ohlbach, Hans Jürgen, ed. 1994. Temporal Logic. Proceedings of the ICTL Workshop. Saarbrücken: Max-Planck-Institut für Informatik.
Ohlbach, Hans Jürgen. 1998. “Review of Manzano (1995).” Journal of Logic, Language, and Information 7(3): 389–391.
Ohlbach, Hans Jürgen and Koehler, Jana. 1998. “How to Augment a Formal System with a Boolean Algebra Component.” in Automated Deduction: A Basis for Applications. Volume III, Applications, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 57–76. Applied Logic Series n. 10. Dordrecht: Kluwer Academic Publishers.
Ohlbach, Hans Jürgen and Koehler, Jana. 1999. “Modal Logics, Description Logics and Arithmetic Reasoning.” Artificial Intelligence 109(1–2): 1–31.
Ohlbach, Hans Jürgen and Reyle, Uwe, eds. 1999. Logic, Language and Reasoning: Essays in Honour of Dov Gabbay. Dordrecht: Kluwer Academic Publishers.
Ohlbach, Hans Jürgen and Schmidt, Erik. 1997. “Functional translation and second-order frame properties of modal logics.” Journal of Logic and Computation 7: 581–603.
Woods, John, Johnson, Ralph H., Gabbay, Dov M. and Ohlbach, Hans Jürgen. 2002. “Logic and the Practical Turn.” in Handbook of the Logic of Argument and Inference: The Turn Towards the Practical, edited by Dov M. Gabbay, Ralph H. Johnson, Hans Jürgen Ohlbach, and John Woods, pp. 1–40. Amsterdam: Elsevier Science Publishers B.V.

Further References

Manzano, Marı́a. 1995. Extensions of First-Order Logic. Cambridge: Cambridge University Press.