Duality for Logics of Transition Systems
暂无分享,去创建一个
[1] Samson Abramsky,et al. A Domain Equation for Bisimulation , 1991, Inf. Comput..
[2] R. Goldblatt. Metamathematics of modal logic , 1974, Bulletin of the Australian Mathematical Society.
[3] Yde Venema,et al. Stone coalgebras , 2004, Theor. Comput. Sci..
[4] Samson Abramsky,et al. Domain Theory in Logical Form , 1991, LICS.
[5] Bart Jacobs,et al. Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study , 2001, RAIRO Theor. Informatics Appl..
[6] Ramon Jansana,et al. Priestley Duality, a Sahlqvist Theorem and a Goldblatt-Thomason Theorem for Positive Modal Logic , 1999, Log. J. IGPL.
[7] Marcello M. Bonsangue,et al. Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems , 1999, Inf. Comput..
[8] Lawrence S. Moss,et al. Coalgebraic Logic , 1999, Ann. Pure Appl. Log..
[9] S. Shelah,et al. Annals of Pure and Applied Logic , 1991 .
[10] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.
[11] M. Kracht. Tools and Techniques in Modal Logic , 1999 .
[12] E. Michael. Topologies on spaces of subsets , 1951 .
[13] James Worrell,et al. Terminal sequences for accessible endofunctors , 1999, CMCS.
[14] Alessandra Palmigiano,et al. Coalgebraic Semantics for Positive Modal Logic , 2003, CMCS.
[15] A. Tarski,et al. Boolean Algebras with Operators. Part I , 1951 .
[16] Josep Maria Font,et al. A Survey of Abstract Algebraic Logic , 2003, Stud Logica.
[17] Steven J. Vickers. Information Systems for Continuous Posets , 1993, Theor. Comput. Sci..
[18] Alessandra Palmigiano,et al. A coalgebraic view on positive modal logic , 2004, Theor. Comput. Sci..
[19] A. Tarski,et al. Boolean Algebras with Operators , 1952 .
[20] Jan van Eijck,et al. Modal Logic, Transition Systems and Processes , 1993, J. Log. Comput..
[21] Bart Jacobs,et al. Duality Beyond Sober Spaces: Topological Spaces and Observation Frames , 1995, Theor. Comput. Sci..
[22] Marcelo P Fiore,et al. Topology via Logic , 1999 .
[23] Jan J. M. M. Rutten,et al. Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..
[24] J. Gerbrandy. Bisimulations on Planet Kripke , 1999 .
[25] M. Bonsangue,et al. Topological Dualities in Semantics , 1996 .