A linear logic framework for multimodal logics.

Bruno Xavier Carlos Olarte Elaine Pimentel

Published in: Math. Struct. Comput. Sci. (2022)

Keyphrases

linear logic
logical framework
proof theoretic
probabilistic model
intuitionistic logic