Reasoning About Degrees of Confirmation

DOI10.1007/978-3-030-44638-3_5OpenAlexW3013847509MaRDI QIDQ5098743

Dragan Doder, Šejla Dautović, 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

decidabilitycompleteness theoremprobabilistic logicmeasure of confirmation

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• An analysis of first-order logics of probability
• Probabilistic logic
• Anytime deduction for probabilistic logic
• Some first-order probability logics
• Probabilistic logics with independence and confirmation
• A logic for reasoning about probabilities
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• A propositional dynamic logic with qualitative probabilities
• Multi-agent logics for reasoning about higher-order upper and lower probabilities
• The logic of qualitative probability
• Logics with lower and upper probability operators
• A propositional linear time logic with time flow isomorphic to \(\omega^2\)
• Probability Logics
• A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P
• A logic with conditional probability operators
• Probabilistic Common Knowledge Among Infinite Number of Agents
• Reasoning about knowledge and probability
• Some considerations on the logics P_FD A logic combining modality and probability
• Probability logic for type spaces

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