morphisms-of-computational-structures icon indicating copy to clipboard operation
morphisms-of-computational-structures copied to clipboard

Published 20 hours ago • verified publisher icon prathyvsh

Understand how coalgebra helps in modal logic

Open prathyvsh opened this issue 4 years ago • 2 comments

Paper: https://eprints.soton.ac.uk/262612/

prathyvsh avatar Sep 17 '20 19:09 prathyvsh

Modal Logics are Coalgebraic: https://eprints.soton.ac.uk/267144/1/ModalCoalgRev.pdf http://users.cecs.anu.edu.au/~dpattinson/Publications/visions2008.pdf

prathyvsh avatar May 15 '21 22:05 prathyvsh

There is a really good second year PhD report by Henry Story touching on this aspect: https://co-operating.systems/2019/04/01/PhD_second_year_report.pdf

prathyvsh avatar May 15 '21 22:05 prathyvsh