Coalgebraic modal logic beyond Sets

Coalgebraic modal logic beyond Sets (2007)

Cached

Download Links

[www.mimuw.edu.pl]

Other Repositories/Bibliography

DBLP

by Bartek Klin

Venue:	In MFPS XXIII
Citations:	8 - 2 self

BibTeX

@INPROCEEDINGS{Klin07coalgebraicmodal,
    author = {Bartek Klin},
    title = {Coalgebraic modal logic beyond Sets},
    booktitle = {In MFPS XXIII},
    year = {2007},
    pages = {177--201},
    publisher = {Elsevier}
}

Bookmark

OpenURL

Abstract

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be

Citations

816	S.: Categories for the working mathematician - Lane - 1998
448	Algebraic laws for nondeterminism and concurrency - Hennessy, Milner - 1985
279	Universal coalgebra: a theory of systems - Rutten - 2000
259	The Linear Time-Branching Time Spectrum - Glabbeek - 1990
214	A Tutorial on (Co)Algebras and (Co)Induction - Jacobs, Rutten - 1997
174	A new approach to abstract syntax with variable binding. Formal Aspects of Computing 13 - GABBAY, PITTS - 2001
173	Jirí Rosicky, Locally Presentable and Accessible Categories - Adamek - 1994
117	Terminal coalgebras in well-founded set theory - Barr - 1993
98	Modal logics for mobile processes - Milner, Parrow, et al. - 1991
85	The Logic of - Baltag, Moss, et al. - 1998
57	Specifying coalgebras with modal logic - Kurz - 2001
57	Accessible categories: The foundations of categorical model theory - Makkai, Paré - 1989
54	W.: Probabilistic extensions of process algebras - Jonsson, Larsen, et al. - 2001
40	D.: Semantics of name and value passing - Fiore, Turi - 2001
37	Expressivity of coalgebraic modal logic: The limits and beyond - Schröder - 2008
32	Coalgebras and modal logic - Rößiger
27	Semantical principles in the modal logic of coalgebras - Pattinson
24	Duality for logics of transition systems - Bonsangue, Kurz - 2005
22	Presenting functors by operations and equations - Bonsangue, Kurz - 2006
20	S.: Comparing operational models of name-passing process calculi - Fiore, Staton - 2006
18	Towards a duality result in the modal logic of coalgebras - Jacobs - 2000
16	S.: A congruence rule format for name-passing process calculi from mathematical structural operational semantics - Fiore, Staton - 2006
14	Abstract and Concrete Categories. Wiley-Interscience - Adámek, Herrlich, et al. - 1990
11	Coalgebras and their logics - Kurz
10	Testing semantics: connecting processes and process logics - Pavlovic, Mislove, et al. - 2005
9	Proof Systems for Pi-Calculus Logics - Dam - 2003
8	On final coalgebras of continuous functors - Adámek
8	Strongly complete logics for coalgebras - Kurz, Rosick´y - 2006
6	The least fibred lifting and the expressivity of coalgebraic modal logic - Klin - 2005