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

completeness theoremdecidabilityprobabilistic logicmeasure of confirmation

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (3)

• Towards a new theory of confirmation
• On degrees of justification
• 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)