Logic and Computation Seminar
Home Seminars Registration Contacts
 
Edition

15/02/2002, Friday, 16:30–17:30
Room P3.10, Mathematics Building

João Rasga, Instituto Superior Técnico

Quantified modal logics: Completeness of labelled deduction systems

IT Técnico FCT