Report copyright - THE TABLEAU METHOD FOR TEMPORAL LOGIC: AN OVERVIEW ... Tableau.pdf · THE TABLEAU METHOD 1 2 3 for propositional logic this is not necessary as the tableau is always a finite tree
Please pass captcha verification before submit form