摘要

Primal infon逻辑(PIL)于2009年引入政策和信任管理框架。与此同时,出现了一些泛化,基本PIL的语法也发生了一些变化。本文是关于基本PIL的,我们的目的之一是“制度化”这些更改。我们证明了基本原始信息逻辑(PPIL)命题片断的一个小模型定理,给出了PPIL局部性定理的一个简单证明,并以便于推广的形式提出了PPIL的线性时间决策算法(早先宣布)。为了完整性,我们涵盖了基本PIL的通用片段。我们希望本文成为基本PIL的标准参考。

此内容仅以PDF格式提供。
您当前没有访问此文章的权限。