Article,

A linear logic framework for multimodal logics.

, , and .
Math. Struct. Comput. Sci., 32 (9): 1176-1204 (October 2022)

Meta data

Tags

Users

  • @dblp

Comments and Reviews