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.

[-Wednesday2-] Afterwards, Carlos Areces discussed binding in the hybrid perspective.

Hybrid Logics Site
Web Master: Carlos Areces

Copyright © 2000.