Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information
Mehrnoosh Sadrzadeh and Roy Dyckhoff
Details
| 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 |
Links
Related pages
|
People |