scientific article
From MaRDI portal
Publication:3476790
zbMath0699.03010MaRDI QIDQ3476790
Joseph Y. Halpern, Ronald Fagin
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
subjective probabilitycommon knowledgecomplete axiomatizationdecision proceduressmall model propertyreasoning about knowledge and probability
Other nonclassical logic (03B60) Probability and inductive logic (03B48) Artificial intelligence (68T99)
Related Items (11)
Hennessy-Milner results for probabilistic PDL ⋮ Modelling default and likelihood reasoning as probabilistic reasoning. ⋮ The relationship between knowledge, belief, and certainty ⋮ Possibilistic reasoning -- a mini-survey and uniform semantics ⋮ Some considerations on the logics PFD A logic combining modality and probability ⋮ Approximating common knowledge with common beliefs ⋮ The well-designed logical robot: learning and experience from observations to the Situation Calculus ⋮ A logic for reasoning about probabilities ⋮ An analysis of first-order logics of probability ⋮ Topology-free typology of beliefs ⋮ Proof methods for reasoning about possibility and necessity
This page was built for publication: