Copenhagen Programming Language Seminar

From Classical to Intuitionistic Hybrid Logic

Torben BraŁner, Ph.D., dr.scient., Associate Professor
Programming, Logic and Intelligent Systems (PLIS) research group, Roskilde University

Wednesday, May 27th, 13:00-15:00
IT University, Rued Langgaards Vej 7, DK-2300; Room: Auditorium 3


The talk is a version of an invited talk given at the Workshop on Intuitionistic Modal Logic and Applications 2008 (http://www.cs.bham.ac.uk/~vdp/IMLA08.html). Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this talk I outline classical modal and hybrid logic, and I describe how the classical logic basis can be replaced by an intuitionistic logic basis. Alternative systems are discussed, but I fix a reasonable and well-motivated version of intuitionistic hybrid logic and describe essential proof-theoretical results for a natural deduction formulation of it. The natural deduction system is extended with additional inference rules corresponding to conditions on the accessibility relation expressed by so-called geometric theories. Thus, I give natural deduction systems in a uniform way for a wide class of intuitionistic hybrid logics. This shows that intuitionistic hybrid logics are a viable enterprise and opens up the way for future applications.

Scientific host:Thomas Hildebrandt Administrative host: Annette Enggaard. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU, KVL and RUC.
COPLAS is sponsored by the FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org