Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
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
Volume
249
Year
2009