DIKU IT-C RUC

COPLAS

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

Abstract:

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