@article{RoySadr,
  author = "Mehrnoosh Sadrzadeh and Roy Dyckhoff",
  journal = "Electronic Notes in Theoretical Computer Science",
  keywords = "positive modal logic, epistemic, doxastic, distributive lattice, Galois connection, adjunction, information, belief, proof theory",
  note = "Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009)",
  pages = "451 - 470",
  title = "Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information",
  url = "http://www.sciencedirect.com/science/article/B75H1-4X0X56M-T/2/170c882596cbeb7b4f8b5076b35d5c77",
  volume = "249",
  year = "2009",
}