A Computational Interpretation of Modal Proofs (1994)

Cached

Download Links

by Simone Martini , Andrea Masini
Venue:Proof Theory of Modal Logics
Citations:29 - 2 self

Document Versions

A Computational Interpretation of Modal Proofs –Simone Martini, Andrea Masini — 1994 — Proof Theory of Modal Logics