homeresources & publications › constructive hybrid logics and contexts

TECHNICAL PUBLICATIONS:

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.

 
citation

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