Logical System gentzen 11/4/2020 Under construction You'd want to check out the respective formation rules, to see what is a well formed formula, and what a variable, etc. Then the tree rules are:- Basic Tree Propositional Rules Basic Tree Predicate Rules Additional S5 Propositional Rules K Propositional Rules S4 Propositional Rules Epistemic Rules Book traversal links for Trees ‹ Tactics for System I Up Basic Tree Propositional Rules ›
