DS-2003-03: Building Logic Toolboxes

DS-2003-03: Heguiabehere, Juan (2003) Building Logic Toolboxes. Doctoral thesis, University of Amsterdam.

[thumbnail of Full Text] Text (Full Text)

Download (1MB)


The last few years have seen a huge increase in the efficiency
of theorem provers for modal and modal-like logics, and together with it
the field of evaluation of these theorem provers has matured
considerably. We will see some of the strategies used to develop
automatic reasoning tools for these logics, and the role of empirical
evaluation in this process. We will also see how Dynamic Predicate
Logic (DPL) can be interpreted as a programming language, and how
programs written in that language can be easily subjected to formal
verification. Finally, we will see how automated reasoning can
actually be used as a computation engine. This work is, then, about
tools: their development, evaluation, and possible uses.

Keywords: modal logic, automated reasonoing, dynamic predicate logic

Item Type: Thesis (Doctoral)
Report Nr: DS-2003-03
Series Name: ILLC Dissertation (DS) Series
Year: 2003
Subjects: Computation
Depositing User: Dr Marco Vervoort
Date Deposited: 14 Jun 2022 15:16
Last Modified: 14 Jun 2022 15:16
URI: https://eprints.illc.uva.nl/id/eprint/2038

Actions (login required)

View Item View Item