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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s10849-019-09301-7
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,308
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Probability and the Logic of Rational Belief.Peter Krauss - 1961 - Journal of Symbolic Logic 35 (1):127.
A Companion to Modal Logic.Johan van Benthem - 1986 - Journal of Symbolic Logic 51 (3):824-826.

View all 6 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Term-Modal Logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
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.


Added to PP index

Total views
3 ( #1,243,005 of 2,326,024 )

Recent downloads (6 months)
2 ( #438,061 of 2,326,024 )

How can I increase my downloads?


My notes