Probability logic for type spaces
From MaRDI portal
Publication:5938620
DOI10.1006/GAME.1999.0788zbMath0978.03017OpenAlexW2015632512MaRDI QIDQ5938620
Philippe Mongin, Aviad Heifetz
Publication date: 2001
Published in: Games and Economic Behavior (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/e894288186874b811a31220d9d636d081344baed
Decision theory (91B06) Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48) Reasoning under uncertainty in the context of artificial intelligence (68T37) Probabilistic games; gambling (91A60)
Related Items (56)
Philippe Mongin 1950--2020 ⋮ A metrized duality theorem for Markov processes ⋮ Common belief in rationality in psychological games. Belief-dependent utility and the limits of strategic reasoning ⋮ The Countable Henkin Principle ⋮ Subjective reasoning -- dynamic games ⋮ A finite model construction for coalgebraic modal logic ⋮ Logics with lower and upper probability operators ⋮ Multi-agent logics for reasoning about higher-order upper and lower probabilities ⋮ Reasoning with Global Assumptions in Arithmetic Modal Logics ⋮ Reasoning About Degrees of Confirmation ⋮ On Hurwicz-Nash equilibria of non-Bayesian games under incomplete information ⋮ An infinitary probability logic for type spaces ⋮ Presenting functors on many-sorted varieties and applications ⋮ The doctrinal paradox, the discursive dilemma, and logical aggregation theory ⋮ IS CAUSAL REASONING HARDER THAN PROBABILISTIC REASONING? ⋮ Modalities in the Stone age: a comparison of coalgebraic logics ⋮ The logic of risky knowledge, reprised ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Approximating Markov processes through filtration ⋮ An infinitary propositional probability logic ⋮ Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Probability logic of finitely additive beliefs ⋮ Rational belief hierarchies ⋮ Substantive assumptions in interaction: a logical perspective ⋮ Common knowledge of payoff uncertainty in games ⋮ Conditional belief types ⋮ Bayesian Games: Games with Incomplete Information ⋮ Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra ⋮ Modular construction of complete coalgebraic logics ⋮ Intuitive Probability Logic ⋮ Modular Markovian Logic ⋮ UNIVERSALLY RATIONAL BELIEF HIERARCHIES ⋮ Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces ⋮ Expressivity of coalgebraic modal logic: the limits and beyond ⋮ Quantified beliefs and believed quantities ⋮ Inconsistency as qualified truth: a probability logic approach ⋮ Universal knowledge-belief structures ⋮ The premiss-based approach to judgment aggregation ⋮ The non-existence of a universal topological type space ⋮ Finitely additive beliefs and universal type spaces ⋮ Philippe Mongin (1950-2020) ⋮ Unnamed Item ⋮ Probabilistic unawareness ⋮ Coalgebraic Hybrid Logic ⋮ Completeness theorems for \(\sigma \)-additive probabilistic semantics ⋮ Equational Coalgebraic Logic ⋮ Formalisation of Bayesian concealment ⋮ Conditional Probability Logic over Conditional Probability Spaces ⋮ CoLoSS: The Coalgebraic Logic Satisfiability Solver ⋮ Formalisation of probabilistic concealment ⋮ A probabilistic semantics for belief logic ⋮ How to Restore Compactness into Probabilistic Logics? ⋮ Knowledge, awareness and probabilistic beliefs ⋮ Logics with Probability Operators
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A note on undominated lower probabilities
- A guide to completeness and complexity for modal logics of knowledge and belief
- Qualitative probability as an intensional logic
- A non-minimal but very weak axiomatization of common belief
- Interactive epistemology. II: Probability
- A logic for reasoning about probabilities
- Measurement structures and linear inequalities
- Concerning measures in first order calculi
- Reasoning about knowledge and probability
- Intuitive Probability on Finite Sets
- Games with Incomplete Information Played by “Bayesian” Players, I–III Part I. The Basic Model
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Quantified beliefs and believed quantities
This page was built for publication: Probability logic for type spaces
