Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information

Mehrnoosh Sadrzadeh, Roy Dyckhoff

We consider a simple modal logic whose non-modal part has conjunction and disjunction as connectives and whose modalities come in adjoint pairs, but are not in general closure oper…