Expressivity of coalgebraic modal logic: The limits and beyond (2005)

by Lutz Schröder
Venue:IN FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, VOLUME 3441 OF LNCS
Citations:39 - 13 self

Document Versions

Expressivity of coalgebraic modal logic: The limits and beyond –Lutz Schröder — 2005 — IN FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, VOLUME 3441 OF LNCS
Expressivity of coalgebraic modal logic: The limits and beyond –Lutz Schröder — Foundations of Software Science and Computation Structures, number 3441 in Lect
Expressivity of Coalgebraic Modal Logic: The Limits and Beyond –Lutz Schröder