|
| |
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 | |||