Reasoning about knowledge and probability
From MaRDI portal
Publication:4299011
DOI10.1145/174652.174658zbMath0806.68098OpenAlexW2062285040MaRDI QIDQ4299011
Joseph Y. Halpern, Ronald Fagin
Publication date: 13 February 1995
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/174652.174658
Modal logic (including the logic of norms) (03B45) Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
A metrized duality theorem for Markov processes, A verification framework for agent programming with declarative goals, Contemporary epistemic logic and the Lockean thesis, Probabilistic Common Knowledge Among Infinite Number of Agents, Towards Lifted Inference Under Maximum Entropy for Probabilistic Relational FO-PCL Knowledge Bases, Probabilistic modelling, inference and learning using logical theories, A logical theory of localization, Specifying and reasoning about uncertain agents, A logic with approximate conditional probabilities that can model default reasoning, A probabilistic deontic logic, Subjective reasoning -- dynamic games, A finite model construction for coalgebraic modal logic, Probabilistic reasoning in a classical logic, Logics with lower and upper probability operators, Graded epistemic logic with public announcement, Multi-agent logics for reasoning about higher-order upper and lower probabilities, Modeling belief in dynamic systems. I: Foundations, Reasoning with Global Assumptions in Arithmetic Modal Logics, Group Belief, Reasoning About Degrees of Confirmation, Probabilistic logics with independence and confirmation, An infinitary probability logic for type spaces, A survey on temporal logics for specifying and verifying real-time systems, Reasoning about knowledge and conditional probability, Belief revision and incongruity: is it a joke?*, Do what you know: coupling knowledge with action in discrete-event systems, Intuitionistic propositional probability logic, On counting propositional logic and Wagner's hierarchy, On the progression of belief, Robot location estimation in the situation calculus, Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs, Probabilistic belief logic and its probabilistic Aumann semantics, Coalgebraic semantics of modal logics: an overview, Measure Logic, Unnamed Item, Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems, Unnamed Item, Probability logic of finitely additive beliefs, Unnamed Item, Rational belief hierarchies, Substantive assumptions in interaction: a logical perspective, Probabilities on sentences in an expressive logic, SLAP: specification logic of actions with probability, Populational announcement logic (PPAL), Are there degrees of belief?, Local possibilistic logic, A logical approach to multilevel security of probabilistic systems, Agreeing to disagree in probabilistic dynamic epistemic~logic, Conditional belief types, Why Bother with Syntax?, Comments to `Logics of public communications', The cognitive structure of surprise: looking for basic principles, A logic for reasoning about ambiguity, Intuitive Probability Logic, Modular Markovian Logic, UNIVERSALLY RATIONAL BELIEF HIERARCHIES, Towards classifying propositional probabilistic logics, Probabilistic Logic over Paths, Achieving parametric uniformity for knowledge bases in a relational probabilistic conditional logic with maximum entropy semantics, Universal knowledge-belief structures, The effort of reasoning: modelling the inference steps of boundedly rational agents, Dealing with logical omniscience: expressiveness and pragmatics, The well-designed logical robot: learning and experience from observations to the Situation Calculus, Introduction (to the special issue on: Economics and artificial intelligence), Probability logic for type spaces, A modal logic for mixed strategies, Sequent calculus and data fusion, Unnamed Item, The complexity of satisfiability in non-iterated and iterated probabilistic logics, A general approach to reasoning with probabilities, Coalgebraic Hybrid Logic, Conditional Probability Logic over Conditional Probability Spaces, Logics for Dynamic Epistemic Behavioral Strategies, Agent Uncertainty Model and Quantum Mechanics Representation: Non-locality Modeling, Modal logic interpretation of Dempster-Shafer theory: An infinite case, Regression and progression in stochastic domains, A computationally grounded logic of graded belief, An epistemic probabilistic logic with conditional probabilities, Logics of Belief over Weighted Structures, Interpreting an action from what we perceive and what we expect, Communication strategies in games, Dynamic update with probabilities, A logical formalization of the OCC theory of emotions, Extending probabilistic dynamic epistemic logic, Reasoning about knowledge of unawareness, The logic of qualitative probability, A probabilistic semantics for belief logic, Characterizing common priors in the form of posteriors, A model of reasoning about knowledge, Common knowledge revisited, Some first-order probability logics, A family of graded epistemic logics, Dynamic Epistemic Logics, Logic and Probabilistic Update, A modal logic of epistemic games, Logics with Probability Operators, Some New Probability Operators, Justification Logics with Probability Operators, Characterizing the common prior assumption.
