Klin，巴特克 最小纤维提升与余代数模态逻辑的表达性。 （英语） Zbl 1151.03356号 JoséLuiz Fiadeiro等人，《计算机科学中的代数和余代数》。第一届国际会议，2005年CALCO，2005年9月3日至6日，英国斯旺西。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28620-9/pbk）。《计算机科学讲义》3629247-262（2005）。 摘要：范畴集上的每个内函子都可以提升为等价关系和关系表示函数范畴（fibred over Set）上的fibred函子。在本文中，这种升力中最小的（纤维状），即（L（B）），本质上是任何（B）的特征。提升具有Jacobs关系提升的所有有用性质，而不需要通常的弱拉回保持假设；如果（B）保持微弱的回撤，则两次升空重合。等价关系可以看作子集的布尔代数（谓词、测试）。这种对应关系将（L（B）与最小测试集提升（T（B））联系在一起，这是按照组合逻辑中使用的谓词提升精神定义的。（T（B））的性质转化为（B）-余代数的模态逻辑的一般表示性结果。在结果逻辑中，可以出现任何arity的模态运算符。关于整个系列，请参见[兹比尔1087.68002]. 引用于7文件 MSC公司： 03G30型 分类逻辑，拓扑 03B45号 模态逻辑（包括规范逻辑） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{B.Klin}，莱克特。注释计算。科学。3629247--262（2005；Zbl 1151.03356） 全文： 内政部