scientific article; zbMATH DE number 4145875
From MaRDI portal
Publication:3476790
zbMATH Open0699.03010MaRDI QIDQ3476790FDOQ3476790
Authors: Ronald Fagin, Joseph Y. Halpern 
Publication date: 1988
Title of this publication is not available (Why is that?)
Recommendations
- Reasoning about knowledge and probability
- Reasoning about knowledge and conditional probability
- A First-order Logic for Reasoning about Knowledge and Probability
- scientific article; zbMATH DE number 176077
- A general approach to reasoning with probabilities
- Reasoning defeasibly about probabilities
- scientific article; zbMATH DE number 1931867
- Knowledge representation and reasoning under uncertainty. Logic at work
- A logic for reasoning about probabilities
- Toward a general theory of reasoning with uncertainty. Part II: probability
common knowledgecomplete axiomatizationdecision proceduressubjective probabilitysmall model propertyreasoning about knowledge and probability
Probability and inductive logic (03B48) Other nonclassical logic (03B60) Artificial intelligence (68T99)
Cited In (20)
- Probabilistic reasoning about epistemic action narratives
- Reasoning about knowledge and probability
- Probabilistic temporal logic with countably additive semantics
- Probabilistic Algorithmic Knowledge
- The well-designed logical robot: learning and experience from observations to the Situation Calculus
- Knowledge, probability, and adversaries
- Topology-free typology of beliefs
- Proof methods for reasoning about possibility and necessity
- Possibilistic reasoning -- a mini-survey and uniform semantics
- Reasoning about knowledge and conditional probability
- A possible worlds semantics for trustworthy non-deterministic computations
- Some considerations on the logics PFD A logic combining modality and probability
- Hennessy-Milner results for probabilistic PDL
- Approximating common knowledge with common beliefs
- An analysis of first-order logics of probability
- Title not available (Why is that?)
- A logic for reasoning about probabilities
- Modelling default and likelihood reasoning as probabilistic reasoning.
- The relationship between knowledge, belief, and certainty
- Epistemic probability logic simplified
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3476790)
