The Topology-Free Construction of the Universal Type Structure for Conditional Probability Systems
Logic in Computer Science
2017-08-02 v1
Abstract
We construct the universal type structure for conditional probability systems without any topological assumption, namely a type structure that is terminal, belief-complete, and non-redundant. In particular, in order to obtain the belief-completeness in a constructive way, we extend the work of Meier [An Infinitary Probability Logic for Type Spaces. Israel Journal of Mathematics, 192, 1-58] by proving strong soundness and strong completeness of an infinitary conditional probability logic with truthful and non-epistemic conditioning events.
Keywords
Cite
@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}
}
Comments
In Proceedings TARK 2017, arXiv:1707.08250