UittrekselIn 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 Prijs||17 jan 2014|
|Begeleider||Jean Paul Van Bendegem (Promotor) & Patrick Allo (Co-promotor)|