Probability logic for type spaces

DOI10.1006/GAME.1999.0788MaRDI QIDQ5938620zbMATH OpenOpenAlexFDO

Authors Aviad Heifetz, Philippe Mongin

Publication date 2001

Published in Games and Economic Behavior (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/e894288186874b811a31220d9d636d081344baed

zbMATH Keywords

type spacesdegrees of belief

Mathematics Subject Classification ID

Decision theory (91B06) Reasoning under uncertainty in the context of artificial intelligence (68T37) Probability and inductive logic (03B48) Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Probabilistic games; gambling (91A60)

Recommendations

• An infinitary probability logic for type spaces
• Probability and logic.
• Probability Logic for Harsanyi Type Spaces
• Probability logic of finitely additive beliefs
• Topology-free typology of beliefs

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3353239 (Why is no real title available?)
• scientific article; zbMATH DE number 3365043 (Why is no real title available?)
• scientific article; zbMATH DE number 3365044 (Why is no real title available?)
• A guide to completeness and complexity for modal logics of knowledge and belief
• A logic for reasoning about probabilities
• A non-minimal but very weak axiomatization of common belief
• A note on undominated lower probabilities
• Concerning measures in first order calculi
• Games with Incomplete Information Played by “Bayesian” Players, I–III Part I. The Basic Model
• Interactive epistemology. II: Probability
• Intuitive Probability on Finite Sets
• Measurement structures and linear inequalities
• Qualitative probability as an intensional logic
• Quantified beliefs and believed quantities
• Reasoning about knowledge and probability
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

Cited in

(67)

• Philippe Mongin 1950--2020
• IS CAUSAL REASONING HARDER THAN PROBABILISTIC REASONING?
• Universally rational belief hierarchies
• Inconsistency as qualified truth: a probability logic approach
• Approximating Markov processes through filtration
• Topology-free type structures with conditioning events
• Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
• Equational coalgebraic logic
• A finite model construction for coalgebraic modal logic
• A Type Theory for Probabilistic \lambda –calculus
• A metrized duality theorem for Markov processes
• Rational belief hierarchies
• The premiss-based approach to judgment aggregation
• Modalities in the Stone age: a comparison of coalgebraic logics
• Multi-agent logics for reasoning about higher-order upper and lower probabilities
• Reasoning with global assumptions in arithmetic modal logics
• Coalgebraic Hybrid Logic
• Presenting functors on many-sorted varieties and applications
• The logic of risky knowledge, reprised
• Probabilistic unawareness
• scientific article; zbMATH DE number 6987096 (Why is no real title available?)
• Philippe Mongin (1950-2020)
• A probabilistic semantics for belief logic
• Reasoning about group responsibility for exceeding risk threshold in one-shot games
• Knowledge, awareness and probabilistic beliefs
• Coalgebraic semantics of modal logics: an overview
• The topology-free construction of the universal type structure for conditional probability systems
• The doctrinal paradox, the discursive dilemma, and logical aggregation theory
• Bayesian Games: Games with Incomplete Information
• Non-iterative modal resolution calculi
• Completeness theorems for \(\sigma \)-additive probabilistic semantics
• Conditional Probability Logic over Conditional Probability Spaces
• Subjective reasoning -- dynamic games
• Modal semantics for reasoning with probability and uncertainty
• An infinitary propositional probability logic
• The non-existence of a universal topological type space
• Formalisation of Bayesian concealment
• CoLoSS: the coalgebraic logic satisfiability solver
• Logics with Probability Operators
• Finitely additive beliefs and universal type spaces
• Intuitive Probability Logic
• Formalisation of probabilistic concealment
• Reasoning About Degrees of Confirmation
• Common belief in rationality in psychological games. Belief-dependent utility and the limits of strategic reasoning
• From modal sequent calculi to modal resolution
• Conditional belief types
• Probability logic of finitely additive beliefs
• The countable Henkin principle
• Modular construction of complete coalgebraic logics
• How to Restore Compactness into Probabilistic Logics?
• Expressivity of coalgebraic modal logic: the limits and beyond
• Substantive assumptions in interaction: a logical perspective
• Logics with lower and upper probability operators
• Quantified beliefs and believed quantities
• Probability Logic for Harsanyi Type Spaces
• Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
• Common knowledge of payoff uncertainty in games
• Probability and natural deduction
• The hierarchical construction of a universal qualitative belief space
• scientific article; zbMATH DE number 7444845 (Why is no real title available?)
• Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces
• Towards probabilistic reasoning in type theory -- the intersection type case
• Universal knowledge-belief structures
• On Hurwicz-Nash equilibria of non-Bayesian games under incomplete information
• Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals
• Modular Markovian Logic
• An infinitary probability logic for type spaces

This page was built for publication: Probability logic for type spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5938620)