Javascript must be enabled for the correct page display

Taming Frankenstein's Logic

Wassenaar, H. (2007) Taming Frankenstein's Logic. Master's Thesis / Essay, Artificial Intelligence.

AI_Ma_2007_HWassenaar.CV.pdf - Published Version

Download (3MB) | Preview


In recent years the research into hybrid logic ha.s taken flight; a number of advances have been made in axiomatizing, proof systems, completeness results and other areas. In this thesis we develop a theorem prover for infinitary hybrid logic and treat the necessary theory to achieve this.

Item Type: Thesis (Master's Thesis / Essay)
Degree programme: Artificial Intelligence
Thesis type: Master's Thesis / Essay
Language: English
Date Deposited: 15 Feb 2018 07:30
Last Modified: 15 Feb 2018 07:30

Actions (login required)

View Item View Item