Reasoning About Degrees of Confirmation

DOI10.1007/978-3-030-44638-3_5MaRDI QIDQ5098743zbMATH OpenOpenAlexFDO

Authors Šejla Dautović, Dragan Doder, Zoran Ognjanović

Publication date 30 August 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-44638-3_5

zbMATH Keywords

completeness theoremdecidabilitymeasure of confirmationprobabilistic logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Recommendations

• Logics for reasoning about degrees of confirmation
• A logic for reasoning about probabilities
• scientific article; zbMATH DE number 988760
• A logic for reasoning about qualitative probability
• Probabilistic logics with independence and confirmation

Cites work

• A logic for reasoning about probabilities
• A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P
• A logic with conditional probability operators
• A propositional dynamic logic with qualitative probabilities
• A propositional linear time logic with time flow isomorphic to ^2
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• An analysis of first-order logics of probability
• Anytime deduction for probabilistic logic
• scientific article; zbMATH DE number 5790393 (Why is no real title available?)
• scientific article; zbMATH DE number 3060434 (Why is no real title available?)
• Logics with lower and upper probability operators
• Multi-agent logics for reasoning about higher-order upper and lower probabilities
• Probabilistic Common Knowledge Among Infinite Number of Agents
• Probabilistic logic
• Probabilistic logics with independence and confirmation
• Probability logic for type spaces
• Probability logics. Probability-based formalization of uncertain reasoning
• Reasoning about knowledge and probability
• Some considerations on the logics P_FD A logic combining modality and probability
• Some first-order probability logics
• The logic of qualitative probability

Cited in

(4)

• Towards a new theory of confirmation
• On degrees of justification
• Logics for reasoning about degrees of confirmation
• Degrees of relative provability

This page was built for publication: Reasoning About Degrees of Confirmation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5098743)