 | 2000 |
|---|
| 5 |       | 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 |
|---|
| 4 |  | Stefan Schwendimann:
A New One-Pass Tableau Calculus for PLTL.
TABLEAUX 1998: 277-292 |
| 3 | | Peter Balsiger,
Alain Heuerding,
Stefan Schwendimann:
Logics Workbench 1.0.
TABLEAUX 1998: 35-37 |
| 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 |
