Relating Algebraic and Coalgebraic Logics of Knowledge and Update
C. Cirstea and M. Sadrzadeh
Journal
LOFT‚ University of Liverpool‚ 2006.
Publisher
University of Liverpool
Series
Proceedings of the 7'th conference on Logic and the Foundations of Game and Decision Theory
Year
2006