The Tableau Machine: A (Modal) Tree Proof Generator

Test for:






Logic:

Γ = {










}
Γ ⊨
 
 
 
⊨ ⊥

Advanced Options | Help