A van Benthem Theorem for Quantitative Probabilistic Modal Logic

Reference

Paul Wild, Lutz Schröder, Dirk Pattinson, and Barbara König. A van Benthem theorem for quantitative probabilistic modal logic, 2018. arXiv:1810.04722.

Suggested BibTeX entry:

@misc{WSPK18c,
    author = {Paul Wild and Lutz Schr{\"o}der and Dirk Pattinson and Barbara K{\"o}nig},
    note = {arXiv:1810.04722},
    title = {A van {B}enthem Theorem for Quantitative Probabilistic Modal Logic},
    year = {2018}
}



See arxiv.org ...Conference version
© University of Duisburg-Essen, Theoretical Computer Science group