ABSTRACT
In this chapter we will explain how to modify the tableau system from Chapter 12 to examine arguments in our new logical theories. There is essentially only one change – the closure conditions for the various systems differ. Below we briefly gloss why the closure conditions differ, then quickly present the tableau system from Chapter 12 again, modifying only the details that need to be modified.
