|
|
| 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. |