## A Computational Interpretation of Modal Proofs (1994)

by
Simone Martini
,
Andrea Masini

Venue: | Proof Theory of Modal Logics |

Citations: | 28 - 2 self |