条件概率系统通用类型结构的无拓扑构造
计算机科学中的逻辑
2017-08-02 v1
摘要
我们在没有任何拓扑假设的情况下，构造了条件概率系统的通用类型结构，即一个终态的、信念完备的且非冗余的类型结构。特别地，为了以构造性的方式获得信念完备性，我们扩展了Meier的工作[An Infinitary Probability Logic for Type Spaces. Israel Journal of Mathematics, 192, 1-58]，证明了具有真实且非认知条件事件的无穷条件概率逻辑的强可靠性与强完备性。
引用
@article{arxiv.1708.00378,
title = {The Topology-Free Construction of the Universal Type Structure for Conditional Probability Systems},
author = {Pierfrancesco Guarino},
journal= {arXiv preprint arXiv:1708.00378},
year = {2017}
}
备注
In Proceedings TARK 2017, arXiv:1707.08250