Dienstag, 6. Juli 2010

Coalgebraic Logic

Due to recent needs, I looked up some stuff on coalgebraic logic, a generalization of modal logics. If you're unfimiliar with the notion of coalgebras, read the good 'tutorial on coalgebras and coinduction' by Jacobs and Rutten.
I keep extending this post to contain a small collection of useful reading material, staring with this list:

For modal logics per se, have a look at the handbook of modal logics.

Keine Kommentare: