Showing 1 - 7 results of 7 for search 'Dyckhoff, R', query time: 0.02s
Refine Results
-
1
Analyticity, balance and non-admissibility of Cut in Stoic logic by Bobzien, S, Dyckhoff, R
Published 2018Journal article -
2
Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information by Sadrzadeh, M, Dyckhoff, R
Published 2010Journal article -
3
A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic by Dyckhoff, R, Sadrzadeh, M
Published 2010Report -
4
Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information by Sadrzadeh, M, Dyckhoff, R
Published 2009Journal article -
5
Implementation of a cut−free sequent calculus for logics with adjoint modalities by Kriener, M, Dyckhoff, R
Published 2009Report -
6
Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators by Dyckhoff, R, Sadrzadeh, M, Truffaut, J
Published 2012Journal article -
7
Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information by Sadrzadeh, M, Dyckhoff, R, Sadrzadeh, M
Published 2010Journal article