Tuesday's Report
[-Tuesday1-] Second day of the workshop and things get moving. Carlos Areces discusses the tight connections existing between hybrid logics and description logics.
Valentin Goranko was the main dish of the day. Basic hybrid logics can also be seen as multi-sorted modal logics (just consider nominals as a new sort of atomic symbols with particular properties). Valentin discussed hybrid logics from this perspective, and as the title of his talk ``Sorting Things Out'' promised, put some order in the matter. [-Tuesday2-]
[-Tuesday3-] Here we cought Valentin getting ready for his talk.

Hybrid Logics Site
Web Master: Carlos Areces

Copyright © 2000.