homeresources & publications › constructive hybrid logics and contexts


Constructive hybrid logics and contexts


One of the (several) origins of hybrid logics was the early work of Seligman on a logic of correct descriptions. This work was also one of the basis for the work (by Torben Brauner and myself) on a Natural Deduction formulation of constructive hybrid logic. The system described by Seligman seems intuitive and appealing as a logic of contexts for AI, but this intuition has not been made very precise, yet. Here we try to ascertain the pros and cons of a logic of contexts based on constructive hybrid logics, as opposed to one based on constructive modal logics.


de Paiva, V. Constructive hybrid logics and contexts. Hybrid Logics Workshop (HYLO 2006); 2006 August 11; Seattle, WA; USA.