Logics for reasoning about degrees of confirmation-Reference-Cited by-同舟云学术

Logics for reasoning about degrees of confirmation

Published:2021-05-31 Issue:8 Volume:31 Page:2189-2217
ISSN:0955-792X
Container-title:Journal of Logic and Computation
language:en
Short-container-title:

Author:

DautoviĆ Šejla¹,Doder Dragan²,OgnjanoviĆ Zoran¹

Affiliation:

1. Mathematical Institute of Serbian Academy of Sciences and Arts, Kneza Mihaila 36, 11000 Belgrade, Serbia

2. Department of Information and Computing Sciences, Utrecht University, Princetonplein 5, 3584 CC Utrecht, The Netherlands

Abstract

Abstract In this paper, we present a first-order and a propositional logic for reasoning about degrees of confirmation. We define the appropriate formal languages and describe the corresponding classes of models. We provide infinitary axiomatizations for both logics and we prove that the axiomatizations are sound and strongly complete. We also show that our propositional logic is decidable. For some restrictions of the logics, we provide finitary axiomatic systems.

Funder

Serbian Ministry of Education, Science and Technological Development

Publisher

Oxford University Press (OUP)

Subject

Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science

Link

https://academic.oup.com/logcom/article-pdf/31/8/2189/41808968/exab033.pdf

Reference36 articles.

1. Decidability and expressiveness for first-order logics of probability;Abadi;Information and Computation,1994

2. Logic with probabilistic operators;Alechina,1995

3. Reasoning about degrees of confirmation;Dautovic,2020

4. The logic of qualitative probability;Delgrande;Artificial Intelligence,2019

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Logical perspectives on the foundations of probability;Open Mathematics;2023-01-01

2. Intuitionistic propositional probability logic;Mathematical Logic Quarterly;2022-08-29