LWBThe Logics Workbench!

Welcome to the logics workbench

The Logics Workbench (LWB) is an application developed at the University of Berne in Switzerland. It offers the possibility to work in a user-friendly way in classical and non-classical propositional logics, including nonmonotonic approaches. There are several groups of functions:

You can use the lwb from the web.


You can reach us via following e-mail address: info@lwb.unibe.ch.


Kindly refer to this page to see who contributed to the project.