A linear logic framework for multimodal logics
From MaRDI portal
Publication:5889307
DOI10.1017/S0960129522000366MaRDI QIDQ5889307
Carlos Olarte, Elaine Pimentel, Bruno Xavier
Publication date: 19 April 2023
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
68-XX: Computer science
Uses Software