Sciweavers

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

6

STACS
2007
Springer

favoriteEmaildiscussreport

76views Theoretical Computer Science» more STACS 2007»

Rank-1 Modal Logics Are Coalgebraic

13 years 11 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)