Categorical and Kripke Semantics for Constructive Modal Logics (2001)

Cached

Download Links

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