Overview of the Logic tableau rules used in the University of Groningen course Advanced Logic (KIB.VL03). Based on the book An Introduction to Non-Classical Logic by Graham Priest.
The correctness of this overview sheet is not guaranteed. As of the CC0 licence I am not liable for any errors in this overview sheet. However: A pull request is appreciated if you spot a mistake!