Coalgebraic modal logic: soundness, completeness and decidability of local consequence
暂无分享,去创建一个
[1] Michael Barr,et al. Terminal Coalgebras in Well-Founded Set Theory , 1993, Theor. Comput. Sci..
[2] Dirk Pattinson,et al. Semantical Principles in the Modal Logic of Coalgebras , 2001, STACS.
[3] Jirí Adámek,et al. On the Greatest Fixed Point of a Set Functor , 1995, Theor. Comput. Sci..
[4] Martin Rö,et al. From modal logic to terminal coalgebras , 2001, Theor. Comput. Sci..
[5] C. Pollard,et al. Center for the Study of Language and Information , 2022 .
[6] Jan J. M. M. Rutten,et al. Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..
[7] Martin Rößiger,et al. Coalgebras and Modal Logic , 2000, CMCS.
[8] Lawrence S. Moss,et al. Coalgebraic Logic , 1999, Ann. Pure Appl. Log..
[9] R. Goldblatt. Logics of Time and Computation , 1987 .
[10] Colin Stirling,et al. Modal and temporal logics , 1993, LICS 1993.
[11] James Worrell,et al. Terminal sequences for accessible endofunctors , 1999, CMCS.
[12] Bart Jacobs,et al. Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study , 2001, RAIRO Theor. Informatics Appl..
[13] Richard Spencer-Smith,et al. Modal Logic , 2007 .
[14] Bart Jacobs,et al. Structural Induction and Coinduction in a Fibrational Setting , 1998, Inf. Comput..
[15] Alexander Kurz,et al. Specifying Coalgebras with Modal Logic , 1998, CMCS.