Group of Logic, Language and Computation

GLLC Seminars Winter 2004

Wed 21 Jan
4.00 pm
23D
Bjorn Bjurling
Some problems in the semantics of systems that combine logic and probability (Abstract)
Fri 13 Feb
1.30 pm
23D
Maarten Marx
Variable Free Reasoning on Finite Trees (Abstract)
Wed 3 Mar
4.00 pm
23D
David Gabelaia
Modal logics of submaximal spaces (Abstract)



 last modified on Wednesday, 19-May-2004 17:35:16 BST problems, comments, suggestions: webadmin