Categorical and Kripke Semantics for Constructive Modal Logics (2001)

View PDF

Download Links

by Natasha Alechina , Michael Mendler , Valeria de Paiva , Eike Ritter
Citations:7 - 3 self