Duality for Logics of Transition Systems

This publication has 18 references indexed in Scilit:

• A Survey of Abstract Algebraic Logic
  Studia Logica, 2003
• Modal Logic
  2001
• Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
  RAIRO - Theoretical Informatics and Applications, 2001
• Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems
  Information and Computation, 1999
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
  Logic Journal of the IGPL, 1999
• Duality beyond sober spaces: Topological spaces and observation frames
  Theoretical Computer Science, 1995
• Modal Logic, Transition Systems and Processes
  Journal of Logic and Computation, 1994
• A domain equation for bisimulation
  Information and Computation, 1991
• Domain theory in logical form*
  Annals of Pure and Applied Logic, 1991
• Boolean Algebras with Operators. Part I
  American Journal of Mathematics, 1951