Labelled Tableaux for Multi-Modal Logics (1995)

Cached

Download Links

by Guido Governatori
Venue:Theorem Proving with Analytic
Citations:17 - 9 self