 | 2000 |
|---|
| 9 |       | Peter Balsiger,
Alain Heuerding,
Stefan Schwendimann:
A Benchmark Method for the Propositional Modal Logics K, KT, S4.
J. Autom. Reasoning 24(3): 297-317 (2000) |
| 1998 |
|---|
| 8 |  | Peter Balsiger,
Alain Heuerding:
Comparison of Theorem Provers for Modal Logics - Introduction and Summary.
TABLEAUX 1998: 25-26 |
| 7 | | Peter Balsiger,
Alain Heuerding,
Stefan Schwendimann:
Logics Workbench 1.0.
TABLEAUX 1998: 35-37 |
| 1997 |
|---|
| 6 | | Rajeev Goré,
Wolfgang Heinle,
Alain Heuerding:
Relations Between Propositional Normal Modal Logics: An Overview.
J. Log. Comput. 7(5): 649-658 (1997) |
| 5 | | Alain Heuerding:
LWBtheory: Information about some Propositional Logics via the WWW.
Logic Journal of the IGPL 5(1): (1997) |
| 1996 |
|---|
| 4 | | Alain Heuerding,
Michael Seyfried,
Heinrich Zimmermann:
Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics.
TABLEAUX 1996: 210-225 |
| 3 | | Alain Heuerding,
Gerhard Jäger,
Michael Schwendimann,
Michael Seyfried:
A Logics Workbench.
AI Commun. 9(2): 53-58 (1996) |
| 1995 |
|---|
| 2 | | Alain Heuerding,
Stefan Schwendimann:
On the Modal Logic K Plus Theories.
CSL 1995: 308-319 |
| 1 | | Alain Heuerding,
Gerhard Jäger,
Stefan Schwendimann,
Michael Seyfried:
Propositional Logics on the Computer.
TABLEAUX 1995: 310-323 |
