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 .