3 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.LO2022★ 3 cited
Under Lock and Key: A Proof System for a Multimodal Logic
G. A. Kavvos, Daniel Gratzer
We present a proof system for a multimodal logic, based on our previous work on a multimodal Martin-Loef type theory. The specification of modes, modalities, and implications betwe…
cs.LO2020
Multimodal Dependent Type Theory
Daniel Gratzer, G. A. Kavvos, Andreas Nuyts +1
We introduce MTT, a dependent type theory which supports multiple modalities. MTT is parametrized by a mode theory which specifies a collection of modes, modalities, and transforma…
cs.LO2020
Client-Server Sessions in Linear Logic
Zesen Qian, G. A. Kavvos, Lars Birkedal
We introduce coexponentials, a new set of modalities for Classical Linear Logic. As duals to exponentials, the coexponentials codify a distributed form of the structural rules of w…