✦ LIBER ✦

A modal proof theory for final polynomial coalgebras

✍ Scribed by David Friggens; Robert Goldblatt

Book ID: 108281158
Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 336 KB
Volume: 360
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2005.11.041

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof Theory for Modal Logic

✍ Sara Negri 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 138 KB

Modal Languages for Coalgebras in a Topo

Modal Languages for Coalgebras in a Topological Setting

✍ Dirk Pattinson 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 184 KB

A finite model construction for coalgebr

A finite model construction for coalgebraic modal logic

✍ Lutz Schröder 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 235 KB

A Calculus of Terms for Coalgebras of Po

A Calculus of Terms for Coalgebras of Polynomial Functors

✍ Robert Goldblatt 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 257 KB

2-Sequent calculus: a proof theory of mo

2-Sequent calculus: a proof theory of modalities

✍ Andrea Masini 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 1008 KB

Final Coalgebras And a Solution Theorem

Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors

✍ Jiří Adámek; Stefan Milius; Jiří Velebil 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 411 KB

Every endofunctor \(F\) of Set has an initial algebra and a final coalgebra, but they are classes in general. Consequently, the endofunctor \(F^{\infty}\) of the category of classes that \(F\) induces generates a completely iterative monad \(T\). And solutions of arbitrary guarded systems of iterati