|
|
| Wednesday's Report |
|
Two more talks this Wednesday, and still keeping in the planned
scheme ``Invited talk | Organizer talk.''
Guillaume Malod started by presented his join work with Dov Gabban on hybridization of predicate modal and temporal logics. |
![[-Wednesday1-]](wed1.jpg) |
![[-Wednesday2-]](wed2.jpg) |
Afterwards, Carlos Areces discussed binding in the hybrid perspective. |
|
Hybrid Logics Site Web Master: Carlos Areces Copyright © 2000. |