@inproceedings{08e9951037f1496684cb654b7d846e86,
title = "The Topology-Free Construction of the Universal Type Structure for Conditional Probability Systems",
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 = "INTERACTIVE EPISTEMOLOGY, BELIEFS, GAMES, KNOWLEDGE, SPACES, LOGIC",
author = "P. Guarino",
year = "2017",
doi = "10.4204/EPTCS.251.20",
language = "English",
series = "Electronic Proceedings in Theoretical Computer Science",
publisher = "Open Publishing Association",
pages = "285--305",
editor = "J{\'e}rome Lang",
booktitle = "Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK)",
edition = "251",
}