Full Program
Monday
14.00 - 14.40 Hs. Patrick Blackburn. Introducing Hybrid Logics
14.50 - 15.30 Hs. Maarten Marx. Complexity of Basic Hybrid Logics
Tuesday
14.00 - 14.40 Hs. Carlos Areces. Description and/or Hybrid Logics
14.50 - 15.30 Hs. Valentin Goranko. Sorting Things Out
Wednesday
14.00 - 14.40 Hs. Guillaume Malod. Naming Worlds in Modal and Temporal Logic
14.50 - 15.30 Hs. Carlos Areces. Hybrid Binders
Thursday
14.00 - 14.40 Hs. Bill Wadge. A Hybrid Predicate Calculus
14.50 - 15.30 Hs. [CANCELED] Mike Reape. Hybrid Logics: The Linguistic Connection
Geert-Jan Kruijff. Hybrid Logics: The next obvious step in modeling interpretation of natural language
Friday
14.00 - 14.40 Hs. Patrick Blackburn. Hybrid Logics: The Latest Prior
14.50 - 15.30 Hs. Round Table. Bringing Them All Together

Hybrid Logics Site
Web Master: Carlos Areces

Copyright © 2000.