论文信息 - Expressive Logics for Coalgebras via Terminal Sequence Induction - 字舞流文

Expressive Logics for Coalgebras via Terminal Sequence Induction

[1] Bart Jacobs,et al. Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study , 2001, RAIRO Theor. Informatics Appl..

[2] Peter Aczel,et al. A Final Coalgebra Theorem , 1989, Category Theory and Computer Science.

[3] S. Lane. Categories for the Working Mathematician , 1971 .

[4] Martin Rößiger,et al. Coalgebras and Modal Logic , 2000, CMCS.

[5] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.

[6] Martin Rößiger. From modal logic to terminal coalgebras , 2001 .

[7] Dirk Pattinson,et al. Semantical Principles in the Modal Logic of Coalgebras , 2001, STACS.

[8] Sally Popkorn,et al. A Handbook of Categorical Algebra , 2009 .

[9] Jan J. M. M. Rutten,et al. Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..

[10] Dirk Pattinson,et al. Coalgebraic modal logic: soundness, completeness and decidability of local consequence , 2003, Theor. Comput. Sci..

[11] Michael Barr,et al. Algebraically compact functors , 1992 .

[12] Bart Jacobs,et al. Structural Induction and Coinduction in a Fibrational Setting , 1998, Inf. Comput..

[13] Alexander Kurz. Specifying coalgebras with modal logic , 2001, Theor. Comput. Sci..