Publication:3476790
From MaRDI portal
zbMath0699.03010MaRDI QIDQ3476790
Joseph Y. Halpern, Ronald Fagin
Publication date: 1988
subjective probability; common knowledge; complete axiomatization; decision procedures; small model property; reasoning about knowledge and probability
03B60: Other nonclassical logic
03B48: Probability and inductive logic
68T99: Artificial intelligence
Related Items
Some considerations on the logics PFD A logic combining modality and probability, The well-designed logical robot: learning and experience from observations to the Situation Calculus, An analysis of first-order logics of probability, Approximating common knowledge with common beliefs, Topology-free typology of beliefs, Proof methods for reasoning about possibility and necessity, Modelling default and likelihood reasoning as probabilistic reasoning., The relationship between knowledge, belief, and certainty, Possibilistic reasoning -- a mini-survey and uniform semantics, A logic for reasoning about probabilities, Hennessy-Milner results for probabilistic PDL