免费的模态：关于向子结构逻辑添加塔斯基可能性算符的注记
逻辑
2011-05-10 v2 计算机科学中的逻辑
摘要
我们简要考察了在乘法加法线性逻辑（MALL）及其某些扩展中，使用塔斯基的外延模态算符所能推导出的模态公式。我们还将其与模态逻辑K的子结构形式进行了简要比较。
引用
@article{arxiv.1105.0354,
title = {Modality for Free: Notes on Adding the Tarskian M\"{o}glichkeit to Substructural Logics},
author = {Robert Rothenberg},
journal= {arXiv preprint arXiv:1105.0354},
year = {2011}
}
备注
8 pages, work in progress