A Uniform Tableau Method for Intuitionistic Modal Logics I (1993)

Cached

Download Links

by Giambattista Amati , Fiora Pirri
Venue:STUDIA LOGICA
Citations:9 - 0 self