ABSTRACT
The leaves on a tree may look complicated, but from a logical point of view they’re still just leaves.
– A logical tree-climber
In this chapter we will explain how to modify the tableau system from Chapter 17 to accommodate changes made for Free and Modal logics introduced in the previous two chapters.
