2　带有先验时间算子的公开宣告概率逻辑

公开宣告逻辑最基础的模型是认知模型，而公开宣告概率逻辑的基础模型是认知概率模型，主要是通过在认知模型中增加概率空间而构成的。公开宣告逻辑涉及到主体在给出新的信息后如何修正自己的信念，知道他（她）的信息可以通过所有的其他的主体而获得，最重要的是新的信息和主体的信念是一致的，并且PAL（公开宣告逻辑）也提供了一种机械程序更新(update)，在给出新信息的条件下，由旧的认知模型产生新的认知模型。但是，尽管更新可以提供建立在一致的信息上的修正信念的合理的方法，但它们仍然不能用来处理建立在不一致的信息基础上的合理的方法。而概率公开宣告逻辑的目的是为了提供更新程序，用来展示在给定不只是和主体的信念相一致的信息而且在给出了正的概率的情况下，如何从旧的认知模型生成新的认知概率模型。在这种情况下当新信息的概率是0时就会遇到一些困难，当没有接受到任何信息的情况下，就比较难于处理。在这种情况下仍然要给出定义的目的是为了技术上的需要而不仅仅是得出结论。