Coalgebraic representations of distributive lattices with operators
暂无分享,去创建一个
[1] M. Stone. The theory of representations for Boolean algebras , 1936 .
[2] M. Stone,et al. The Theory of Representation for Boolean Algebras , 1936 .
[3] M. Stone. Topological representations of distributive lattices and Brouwerian logics , 1938 .
[4] A. Tarski,et al. Boolean Algebras with Operators. Part I , 1951 .
[5] E. Michael. Topologies on spaces of subsets , 1951 .
[6] A. Tarski,et al. Boolean Algebras with Operators , 1952 .
[7] Paul R. Halmos,et al. Algebraic logic, I. Monadic boolean algebras , 1956 .
[8] Hilary A. Priestley,et al. Representation of Distributive Lattices by means of ordered Stone Spaces , 1970 .
[9] E. Manes. Algebraic Theories in a Category , 1976 .
[10] Joseph A. Goguen,et al. Initial Algebra Semantics and Continuous Algebras , 1977, J. ACM.
[11] S. Nadler. Hyperspaces of Sets: A Text with Research Questions , 1978 .
[12] Michael W. Mislove,et al. Local compactness and continuous lattices , 1981 .
[13] Glynn Winskel,et al. On Powerdomains and Modality , 1985, Theor. Comput. Sci..
[14] Edmund Robinson,et al. Logical Aspects of Denotational Semantics , 1987, Category Theory and Computer Science.
[15] Samson Abramsky,et al. Domain Theory in Logical Form , 1991, LICS.
[16] Brian A. Davey,et al. An Introduction to Lattices and Order , 1989 .
[17] S. Vickers. Topology via Logic , 1989 .
[18] Robert Goldblatt,et al. Varieties of Complex Algebras , 1989, Ann. Pure Appl. Log..
[19] Steven Vickers,et al. Preframe presentations present , 1991 .
[20] Andrea Schalk,et al. Algebras for generalized power constructions , 1993 .
[21] M. Bonsangue,et al. Topological Dualities in Semantics , 1996 .
[22] Nick Bezhanishvili. Distributive Lattices with Quantifiers: Topological Representation , 1999, ESSLLI Student Papers.
[23] Viorica Sofronie-Stokkermans,et al. Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I , 2000, Stud Logica.
[24] Jan J. M. M. Rutten,et al. Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..
[25] Mai Gehrke,et al. MONOTONE BOUDED DISTRIBUTIVE LATTICE EXPANSIONS , 2000 .
[26] Chris Brink,et al. A paradigm for program semantics - power structures and duality , 2001, Studies in logic, language and information.
[27] Bart Jacobs,et al. Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study , 2001, RAIRO Theor. Informatics Appl..
[28] Martin Rößiger. From modal logic to terminal coalgebras , 2001 .
[29] Alessandra Palmigiano,et al. Coalgebraic Semantics for Positive Modal Logic , 2003, CMCS.
[30] Dirk Pattinson,et al. Coalgebraic modal logic: soundness, completeness and decidability of local consequence , 2003, Theor. Comput. Sci..
[31] Yde Venema,et al. Stone Coalgebras , 2004, CMCS.
[32] Alexander Kurz,et al. Algebraic Semantics for Coalgebraic Logics , 2004, CMCS.
[33] Lawrence S. Moss,et al. Harsanyi Type Spaces and Final Coalgebras Constructed from Satisfied Theories , 2004, CMCS.
[34] Mai Gehrke,et al. Bounded distributive lattice expansions , 2004 .
[35] Helle Hvid Hansen,et al. A Coalgebraic Perspective on Monotone Modal Logic , 2004, CMCS.
[36] Alessandra Palmigiano,et al. A coalgebraic view on positive modal logic , 2004, Theor. Comput. Sci..
[37] Steven J. Vickers,et al. A universal characterization of the double powerlocale , 2004, Theor. Comput. Sci..
[38] Marcello M. Bonsangue,et al. Duality for Logics of Transition Systems , 2005, FoSSaCS.
[39] Marcello M. Bonsangue,et al. Presenting Functors by Operations and Equations , 2006, FoSSaCS.
[40] CANONICAL EXTENSIONS OF BOUNDED DISTRIBUTIVE LATTICE EXPANSIONS , 2007 .