TWB Demo

Below is the list of logic modules that have been implemented with the TWB. The list is always growing and we invite contributions. Please contact us to know more. '''NB''' This page is still work in progress. Some descriptions are still missing and we are working to make the interface more usable.
Propositional Modal Logic KD
Propositional Modal Logic KD45
Propositional Modal Logic K4
Propositional KLM Logic P
Propositional Classical Logic
Propositional Modal Logic K
Propositional Dynamic Logic PDL(UEV)
Propositional Modal Logic S4
Propositional Dynamic Logic PDL (No UEV)
Propositional Computational Tree Logic CTL
Propositional Linear Temporal Logic PLTL
Propositional Intuitionistic Logic G4IP