|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.|
|Here we cought Valentin getting ready for his talk.|
Hybrid Logics Site
Web Master: Carlos Areces
Copyright © 2000.