Abstract
This chapter presents the logic LFOP1 which may be suitable to formalize reasoning about degrees of beliefs. The aim is that this chapter serves as an illustration for syntax, semantics and the main proof techniques used elsewhere in the book. The logic enriches first order calculus with probabilistic operators of the form \( \mathrm P\geq _{s} \) with the intended meaning “probability is at least s”.We define a possible-world semantics with a finitely additive probability measure on sets of worlds. We provide an infinitary axiomatization which contains an infinitary rule with countable many premisses and one conclusion, related to the Archimedean property of real numbers. Other probability logics considered by the authors of this book are then presented, and an overview of related works of other authors is given.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Ognjanović, Z., Ilić-Stepić, A. (2020). Logics with Probability Operators. In: Ognjanović, Z. (eds) Probabilistic Extensions of Various Logical Systems. Springer, Cham. https://doi.org/10.1007/978-3-030-52954-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-52954-3_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-52953-6
Online ISBN: 978-3-030-52954-3
eBook Packages: Computer ScienceComputer Science (R0)