带有可证性意味的构造性模态
计算机科学中的逻辑
2017-08-21 v1
摘要
我概述了第比利斯学派关于良基/散在结构的直觉主义模态逻辑的工作及其与当代理论计算机科学的联系。不动点定理及其推论尤其令人感兴趣。
引用
@article{arxiv.1708.05607,
title = {Constructive Modalities with Provability Smack},
author = {Tadeusz Litak},
journal= {arXiv preprint arXiv:1708.05607},
year = {2017}
}
备注
The paper is a modified and extended version ("Author's Cut") of my contribution for the "Leo Esakia on Duality in Modal and Intuitionistic Logics."