Handbook of Tableau Methods edited by M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga.
Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different ways. Traditionally, a logic is presented via the following three components: 1. an intuitive non-formal motivation, perhaps tie it in to some...
Full description
Saved in: