Login / Signup

Dual-context calculi for modal logic.

G. A. Kavvos
Published in: LICS (2017)
Keyphrases