Coalgebraic Epistemic Update Without Change of Model

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73859-6_11 ◽

2007 ◽

pp. 158-172 ◽

Author(s):

Corina Cîrstea ◽

Mehrnoosh Sadrzadeh

Download Full-text