|
|
|
|
|
|
| Publications
|
|
| This page contains various publications concerning the LWB. | ||
| All the files on this page are compressed DVI or Postscript files. | |||
|
|  | ||
|
|  |
Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, and Michael Seyfried. Propositional logics on the computer. In P. Baumgartner, R. Hähnle, and J. Posegga, editors, Tableaux 95. LNCS 918, 310-323, 1995 | 
| ||
|
Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, and Michael Seyfried. LWB - A Logics Workbench. Extended abstract. In L. Dreschler-Fischer, S. Pribbenow, editors, KI-95 Activities: Workshops, Posters, Demos. Gesellschaft für Informatik, 73-74, 1995 | ||||
|
Alain Heuerding and Stefan Schwendimann. On the modal logic K plus theories. In H. Kleine Büning, editor, CSL 95. LNCS 1092, 308-319, 1996 | 
| |||
|
Alain Heuerding, Michael Seyfried, and Heinrich Zimmermann. Efficient loop-check for backward proof search in some non-classical propositional logics. In P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi, editors, Tableaux 96. LNCS 1071, 210-225, 1996 |
| |||
|
Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, and Michael Seyfried. The Logics Workbench LWB: A Snapshot. Euromath Bulletin, 2(1):177-186, 1996 |
| |||
|
Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, and Michael Seyfried. A Logics Workbench. AI Communications, 9(2):53-58, 1996 | ||||
|
Alain Heuerding, Stefan Schwendimann. A benchmark method for the propositional modal logics K, KT, S4. Technical report IAM-96-015, University of Bern, Switzerland, 1996 |
| |||
|
Alain Heuerding. LWBtheory: information about some propositional logics via the WWW. Journal of the IGPL, 4(4):169-174, 1996 |
| |||
|
Rajeev Goré, Wolfgang Heinle, and Alain Heuerding. Relations between propositional normal modal logics:an overview. Journal of Logic and Computation, 7(5):649-658, 1997 |
| |||
|
Alain Heuerding. Sequent Calculi for Proof Search in Some Modal Logics. PhD thesis, University of Bern, Switzerland, 1998. Send a letter to the following address if you would like to have a copy: A. Heuerding, Caecilienstr. 5, 3007 Bern, Switzerland | ||||
|
Alain Heuerding. Errata for the thesis. University of Bern, Switzerland, 1998 |
| |||
|
Stefan Schwendimann. Aspects of Computational Logic. PhD thesis, University of Bern, Switzerland, 1998 |
| |||
|
Stefan Schwendimann. A New One-Pass Tableau Calculus for PLTL. In Harrie de Swart, editor, Tableaux 98. LNAI 1397, 277-291, 1998 |
| |||
|
Peter Balsiger and Alain Heuerding. Comparison of Theorem Provers for Modal Logics - Introduction and Summary. In H. de Swart, editor, Tableaux 98. LNCS 1397, 25-26, 1998 | ||||
|
Peter Balsiger, Alain Heuerding, and Stefan Schwendimann. Logics Workbench 1.0. In H. de Swart, editor, Tableaux 98. LNCS 1397, 35, 1998 | ||||
|
| ||||
| 
| 
| ||
|
| lwb@iam.unibe.ch | LWB 1.1 February 22, 2002 |