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

Erica Calardo (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics