Coalgebraic Logic

Coalgebraic Logic (1999)

by Lawrence S. Moss

Venue:	Annals of Pure and Applied Logic
Citations:	85 - 0 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Coalgebraic Logic	user correction - Legacy Corrections
AUTHOR NAME	Lawrence S. Moss	SVM HeaderParse 0.1
AUTHOR AFFIL	Indiana University	SVM HeaderParse 0.2
ABSTRACT	We present a generalization of modal logic to logical systems which are interpreted on coalgebras of functors on sets. The leading idea is that infinitary modal logic contains characterizing formulas. That is, every model-world pair is characterized up to bisimulation by an infinitary formula. The point of our generalization is to understand this on a deeper level. We do this by studying a frangment of infinitary modal logic which contains the characterizing formulas and is closed under infinitary conjunction and an operation called 4. This fragment generalizes to a wide range of coalgebraic logics. We then apply the characterization result to get representation theorems for final coalgebras in terms of maximal elements of ordered algebras. The end result is that the formulas of coalgebraic logics can be viewed as approximations to the elements of the final coalgebra. Keywords: infinitary modal logic, characterization theorem, functor on sets, coalgebra, greatest fixed point. 1 Intr...	user correction - Legacy Corrections
YEAR	1999	INFERENCE
VENUE	Annals of Pure and Applied Logic	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
VOLUME	96	INFERENCE
CITATIONS	16 found	ParsCit 1.0