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..