Implementation of a cut-free sequent calculus for logics with adjoint modalities

J. Kriener, M. Sadrzadeh and R. Dyckhoff

journal	Computing Research Repository
volume	abs/0903.2448
year	2009

people

Mehrnoosh Sadrzadeh