×
比约恩·莱尔曼;伊莲·皮门特尔

正常和非正常模式的后续计算模块化。 （英语） Zbl 1433.03131号

ACM事务处理。计算。日志。 第20号第2条第7条第46页（2019年）.

引用于11文件

MSC公司：

03财年03 一般证明理论（包括证明理论语义）
03B45号 模态逻辑（包括规范逻辑）
05年3月 切割消除和正规形定理

关键词：

线性嵌套序列;标签系统;模态逻辑;证明理论
PDF格式BibTeX公司 XML格式引用
\textit{B.Lellmann}和\textit{E.Pimentel}，ACM Trans。计算。日志。20，第2号，第7条，第46页（2019；Zbl 1433.03131）
全文： 内政部 arXiv公司