Rank-1 Modal Logics Are Coalgebraic - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Lutz Schröder, Dirk Pattinson. Rank-1 Modal Logics Are Coalgebraic. In Wolfgang Thomas, Pascal Weil, editors, STACS 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings. Volume 4393 of Lecture Notes in Computer Science, pages 573-585, Springer, 2007. [doi]

The following publications are possibly variants of this publication:

Rank-1 Modal Logics are CoalgebraicLutz Schröder, Dirk Pattinson. logcom, 20(5):1113-1147, 2010. [doi]

Modal Logics are CoalgebraicCorina CÃ®rstea, Alexander Kurz, Dirk Pattinson, Lutz SchrÃ¶der, Yde Venema. bcs 2008: 128-140 [doi]

Coalgebraic Modal Logic in CoCaslLutz Schröder, Till Mossakowski. WADT 2006: 127-141 [doi]

Modal Logics are CoalgebraicCorina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema. cj, 54(1):31-41, 2011. [doi]

PSPACE Bounds for Rank-1 Modal LogicsLutz Schröder, Dirk Pattinson. lics 2006: 231-242 [doi]

PSPACE bounds for rank-1 modal logicsLutz Schröder, Dirk Pattinson. tocl, 10(2), 2009. [doi]

Coalgebraic semantics of modal logics: An overviewClemens Kupke, Dirk Pattinson. TCS, 412(38):5070-5094, 2011. [doi]

Coalgebraic modal logic of finite rankAlexander Kurz, Dirk Pattinson. mscs, 15(3):453-473, 2005. [doi]

Strong Completeness of Coalgebraic Modal LogicsLutz Schröder, Dirk Pattinson. STACS 2009: 673-684 [doi]

runs on WebDSL