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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007.B. Dunin-Keplicz & R. Verbrugge - 2013 - Logic Journal of the IGPL 21 (3):309-310.
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
Upper & Lower Probabilities.Jonathan Weisberg - 2010
Dynamic Update with Probabilities.Johan van Benthem, Jelle Gerbrandy & Barteld Kooi - 2009 - Studia Logica 93 (1):67 - 96.
The Evaluation of Method.Keith Lehrer - 1981 - Grazer Philosophische Studien 12 (1):131-141.
Logics for multi-subset spaces.Bernhard Heinemann - 2010 - Journal of Applied Non-Classical Logics 20 (3):219-240.
When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?Wesley H. Holliday, Yifeng Ding & Cedegao Zhang - 2019 - Electronic Proceedings in Theoretical Computer Science 297:121–139.
The Evaluation of Method.Keith Lehrer - 1981 - Grazer Philosophische Studien 12 (1):131-141.
Foreword to Special issue on Logics for Multi-agent Systems.Valentin Goranko & Wojciech Jamroga - 2011 - Journal of Applied Non-Classical Logics 21 (1):7-8.
Distributed Knowledge Justification Logics.Ghari Meghdad - 2014 - Theory of Computing Systems 55 (1):1--40.
Higher-order Aspects and Context in SUMO.Christoph Benzmüller & Adam Pease - 2012 - Journal of Web Semantics 12:104-117.
Upper and Lower Probabilities induced by a Multi- valued Mapping.Arthur Dempster - 1967 - Annals of Mathematical Statistics 38:325-339.
Probabilistic Logics with Independence and Confirmation.Dragan Doder & Zoran Ognjanović - 2017 - Studia Logica 105 (5):943-969.
Multi-agent Justification Logic: communication and evidence elimination. [REVIEW]Bryan Renne - 2012 - Synthese 185 (S1):43-82.
On second order probabilities and the notion of epistemic risk.Nils-Eric Sahlin - unknown

Analytics

Added to PP
2019-09-04

Downloads
11 (#1,110,001)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Probability and the logic of rational belief.Henry Ely Kyburg - 1961 - Middletown, Conn.,: Wesleyan University Press.
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.

View all 15 references / Add more references