Atlas home || Conferences | Abstracts | about Atlas

Algebraic and Topological Methods in Non-Classical Logics II
June 15-18, 2005
University of Barcelona
Barcelona, Spain

Organizers
Josep Maria Font (chair), Àngel Gil, José Gil, Joan Gispert, Carles Noguera, Antoni Torrens, Ventura Verdú

View Abstracts
Conference Homepage

An order-theoretic approach to dynamic epistemic logic and its corresponding sequent calculus
by
Mehrnoosh Sadrzadeh
University of Quebec at Montreal (UQAM) & Oxford University Computing Laboratory

page 1

page 2

PDF

Date received: April 9, 2005

Copyright © 2005 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caqr-18.