Abstract
An extension of the propositional probability logic \(LPP_2\) given in Ognjanović et al. (Probability Logics. Probability-Based Formalization of Uncertain Reasoning, Theoretical Springer, Cham, Switzerland, 2016) that allows mixing of propositional formulas and probabilistic formulas is introduced. We describe the corresponding class of models, and we show that the problem of deciding satisfiability is in NP. We provide infinitary axiomatization for the logic and we prove that the axiomatization is sound and strongly complete.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Ognjanović, Z., Rašković, M., Marković, Z.: Probability Logics. Probability-Based Formalization of Uncertain Reasoning. Theoretical Springer, Cham (2016)
Alechina, N.: Logic with probabilistic operators. In: Proceedings of ACCOLADE ’94, pp. 121–138 (1995)
Doder, D., Ognjanović, Z.: Probabilistic logics with independence and confirmation. Stud. Log. 105(5), 943–969 (2017)
Savić, N., Doder, D., Ognjanović, Z.: Logics with lower and upper probability operators. Int. J. Approx. Reason. 88, 148–168 (2017)
Fagin, R., Halpern, J.Y., Megiddo, N.: A logic for reasoning about probabilities. Inf. Comput. 87, 78–128 (1990)
Papadimitriou, C.H.: Computational Complexity. University of California, San Diego (1994)
van der Hoek, W.: Some considerations on the logic PFD. J. Appl. Non-Class. Log. 7(3) (1997)
Acknowledgements
This work has been partially funded by the Science Fund of the Republic of Serbia through the project Advanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology—AI4TrustBC.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
With this paper Šejla Dautović is the winner of the Serbian Prize of Logic and she will be contestant at the 2nd World Logic Prizes Contestin Crete at the 7thUNILOG.
Rights and permissions
About this article
Cite this article
Dautović, Š. A Probabilistic Logic Between \(LPP_1\) and \(LPP_2\). Log. Univers. 16, 323–333 (2022). https://doi.org/10.1007/s11787-022-00301-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-022-00301-z