Rank-1 Modal Logics Are Coalgebraic

14 years 6 months ago

Coalgebras provide a unifying semantic framework for a wide variety of modal logics. It has previously been shown that the class of

Lutz Schröder, Dirk Pattinson

Modal Logics | STACS 2007 | Theoretical Computer Science | Unifying Semantic Framework |

claim paper

Added	09 Jun 2010
Updated	09 Jun 2010
Type	Conference
Year	2007
Where	STACS
Authors	Lutz Schröder, Dirk Pattinson

Comments (0)