Roy Dyckhoff

1. Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
   2009/03/13 by Mehrnoosh Sadrzadeh, Sadrzadeh, Mehrnoosh, Roy Dyckhoff +1 · 1 citation
   Computer Science · #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Logic, programming, and type systems