Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators. - Roy Dyckhoff; Mehrnoosh Sadrzadeh; Julien Truffaut (MFPS, 2012)

Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators. - Roy Dyckhoff; Mehrnoosh Sadrzadeh; Julien Truffaut (ACM Trans. Comput. Log., 2013)