Dynamic Tableaux for Dynamic Modal Logics

Scriptie/masterproef: Doctoral Thesis


In this PhD thesis we present new proof systems for several modal logics. We also present an implementation of one of these proof systems in the Clojure programming language.
The proof systems we present fall squarely in the category of tableau systems. Such systems have a long history. Many tableau systems have been developed for many different kinds of logic, including the logics found in this volume. Thus the contribution of our tableau systems is not to be found in their theoretical prowess. Rather, their intended benefits are conceptual simplicity, ease-of-use, modularity, and extensibility.
Datum Prijs17 jan 2014
BegeleiderJean Paul Van Bendegem (Promotor) & Patrick Allo (Co-promotor)

Citeer dit