Duality for Logics of Transition Systems

  title={Duality for Logics of Transition Systems},
  author={Marcello M. Bonsangue and Alexander Kurz},
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a categoryX . The propositional logic used to reason about state spaces from X is modelled by the Stone dual A of X (e.g. if X is Stone spaces then A is Boolean algebras and the propositional logic is the classical one). In order to obtain a modal logic for transition systems (i.e. for T -coalgebras) we consider the functorL onA that is dual… CONTINUE READING
Highly Cited
This paper has 75 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.

76 Citations

Citations per Year
Semantic Scholar estimates that this publication has 76 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 22 references

Stone Spaces

  • P. T. Johnstone
  • Cambridge University Press,
  • 1982
Highly Influential
4 Excerpts

The Vietoris monad on the category of locales

  • P. T. Johnstone
  • In Continuous Lattices and Related Topics , pp…
  • 1982
Highly Influential
6 Excerpts

Metamathematics of modal logic I

  • R. I. Goldblatt
  • Rep. on Math. Logic , 6,
  • 1976
Highly Influential
5 Excerpts


  • P. Blackburn
  • de Rijke, and Y. Venema. Modal Logic. CSLI,
  • 2001

Bisimulations on Planet Kripke

  • J. Gerbrandy
  • PhD thesis, Univ. of Amsterdam,
  • 1999

Similar Papers

Loading similar papers…