Logic Engineering. The Case of Description and Hybrid Logics

By Carlos Eduardo Areces,
University of Amsterdam


The particular aim of this thesis is to explore and exploit the connections between description and hybrid logic, their similarities and differences. The main results we will present specifically concern this issue. But we hope to take the first steps in setting and discussing this work in the wider perspective of logic engineering, and provide a small contribution to the general issue of better understanding the rules behind the good design of new formal languages.