Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK.

Erica Calardo Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK. 15-34 2006 14 Logic Journal of the IGPL 1 http://dx.doi.org/10.1093/jigpal/jzk002 db/journals/igpl/igpl14.html#Calardo06