Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
Mehrnoosh Sadrzadeh and Roy Dyckhoff infojournal | 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
BibTeX
Link
related pages
|
