Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities

, &
Journal of Logic, Language and Information 29 (1):77-107 (2020)
  Copy   BIBTEX

Abstract

We present a propositional and a first-order logic for reasoning about higher-order upper and lower probabilities. We provide sound and complete axiomatizations for the logics and we prove decidability in the propositional case. Furthermore, we show that the introduced logics generalize some existing probability logics.

Categories

Keywords

Reprint years

DOI

10.1007/s10849-019-09301-7

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,804

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Logics for propositional determinacy and independence.Valentin Goranko & Antti Kuusisto - 2018 - Review of Symbolic Logic 11 (3):470-506.
Equivalential Structures for Binary and Ternary Syllogistics.Selçuk Topal - 2018 - Journal of Logic, Language and Information 27 (1):79-93.
Propositional Epistemic Logics with Quantification Over Agents of Knowledge.Gennady Shtakser - 2018 - Studia Logica 106 (2):311-344.
Dynamic Update with Probabilities.Johan Benthem, Jelle Gerbrandy & Barteld Kooi - 2009 - Studia Logica 93 (1):67-96.
Probabilistic Logics with Independence and Confirmation.Dragan Doder & Zoran Ognjanović - 2017 - Studia Logica 105 (5):943-969.
Dynamic Update with Probabilities.Johan van Benthem, Jelle Gerbrandy & Barteld Kooi - 2009 - Studia Logica 93 (1):67 - 96.
On combinations of propositional dynamic logic and doxastic modal logics.Renate A. Schmidt & Dmitry Tishkovsky - 2007 - Journal of Logic, Language and Information 17 (1):109-129.
Tableaux and Interpolation for Propositional Justification Logics.Meghdad Ghari - 2024 - Notre Dame Journal of Formal Logic 65 (1):81-112.
Logics for Knowability.Mo Liu, Jie Fan, Hans van Ditmarsch & Louwe B. Kuijer - 2022 - Logic and Logical Philosophy 31 (3):385-426.
An Event-Based Fragment of First-Order Logic over Intervals.Savas Konur - 2011 - Journal of Logic, Language and Information 20 (1):49-68.

Analytics

Added to PP
2019-09-04

Downloads
43 (#574,892)

6 months
3 (#1,186,452)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

A Mathematical Theory of Evidence.Glenn Shafer - 1976 - Princeton University Press.
Probability and the Logic of Rational Belief.Peter Krauss - 1961 - Journal of Symbolic Logic 35 (1):127.
A Companion to Modal Logic.George Edward Hughes & M. J. Cresswell - 1984 - London, England: Methuen. Edited by M. J. Cresswell.

View all 13 references / Add more references