Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

25

STACS
2007
Springer

favoriteEmaildiscussreport

76views Theoretical Computer Science» more STACS 2007»

Rank-1 Modal Logics Are Coalgebraic

14 years 5 months ago

Rank-1 Modal Logics Are Coalgebraic

Download www.informatik.uni-bremen.de

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

Real-time Traffic

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

claim paper

Related Content

» Beyond Rank 1 Algebraic Semantics and Finite Models for Coalgebraic Logics

» A Finite Model Construction for Coalgebraic Modal Logic

» PSPACE Bounds for Rank1 Modal Logics

» Free Modal Algebras A Coalgebraic Perspective

» Coalgebraic Modal Logic Beyond Sets

» An institution of modal logics for coalgebras

» On the Fusion of Coalgebraic Logics

» Coalgebraic Correspondence Theory

» Modal Predicates and Coequations

Post Info
More Details (n/a)

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

Comments (0)