| |
The Logics Workbench | |
| About the LWB |
| What's New | |||
| ASCII LWB |
| XLWB |
| MacLWB |
| ProofWish | |||
| Sample Session |
| Demo Sessions | |||||
| Basic Syntax |
| Programming Language |
| LWB Library | |||
| Modules | |||||||
| Run a Session via WWW | |||
| Reference Manual | |||
| See LWBtheory for the theoretical background of some of the logics. | |||||||||
| If you are looking for a tool to do interactive proofs try Jape or MacLogic. | |||||||||
| We also offer a collection of benchmark formulas for some propositional modal logics. | |||||||||
| The 1.0 version of the LWB documentation is still available. | |||||||||
| Installation Instructions | |||
| Known Bugs Troubleshooting | |||
| The LWB at the IAM | |||
| Publications | |||
| lwb@iam.unibe.ch | LWB 1.1 May 12, 2004 | ||||