Copenhagen Programming Language Seminar
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:
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 email@example.com with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see http://www.coplas.org