A probabilistic semantics for belief logic

DOI10.1215/00294527-2021-0033OpenAlexW4200464616MaRDI QIDQ2075282FDOQ2075282

Authors: Jiaqi He, Hu Liu 

Publication date: 14 February 2022

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2021-0033

Recommendations

• Probabilistic belief logic and its probabilistic Aumann semantics
• scientific article; zbMATH DE number 1948164
• A Complete Probabilistic Belief Logic
• Possible semantics for a common framework of probabilistic logics
• Probability semantics for quantifier logic
• Publication:3028979
• On the semantics and complexity of probabilistic logic programs
• A semantics for possibility theory based on likelihoods
• scientific article; zbMATH DE number 1123884

zbMATH Keywords

probabilitybeliefmodal logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Belief, awareness, and limited reasoning
• Propositional reasoning that tracks probabilistic reasoning
• Dr. Truthlove or: How I Learned to Stop Worrying and Love Bayesian Probabilities*
• Title not available (Why is that?)
• Generalizing the Lottery Paradox
• A nonstandard approach to the logical omniscience problem
• Tractable reasoning via approximation
• Reasoning about knowledge and probability
• Probability logic for type spaces
• A logic for reasoning about probabilities
• Logical omniscience as infeasibility
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Dynamics of Syntactic Knowledge
• Reasoning about rational, but not logically omniscient, agents
• Title not available (Why is that?)
• Title not available (Why is that?)
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Handbook of epistemic logic
• A dynamic solution to the problem of logical omniscience
• Dynamic Epistemic Logic and Logical Omniscience
• Title not available (Why is that?)

Cited In (10)

• Formal semantics for mutual belief
• A PROBABILISTIC SEMANTICS FOR COUNTERFACTUALS. PART B
• Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
• Stable semantics for probabilistic deductive databases
• Logic Programming and Nonmonotonic Reasoning
• Title not available (Why is that?)
• An ordered credibility contrast semantics for finite probability agreement
• Title not available (Why is that?)
• Title not available (Why is that?)
• A class of belief structures based on possibility measures

This page was built for publication: A probabilistic semantics for belief logic

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