Login / Signup

Categorical and Kripke Semantics for Constructive S4 Modal Logic.

Natasha AlechinaMichael MendlerValeria de PaivaEike Ritter
Published in: CSL (2001)
Keyphrases