DMCA

Free-variable tableaux for propositional modal logics

Cached

Download Links

by Bernhard Beckert , Rajeev Goré
Venue:Studia Logica
Citations:5 - 0 self