Changing types: information dynamics for qualitative type spaces

DOI10.1007/S11225-014-9545-4MaRDI QIDQ2016079zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 19 June 2014

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-014-9545-4

zbMATH Keywords

dynamic epistemic logicepistemic models of gamesHarsanyi type spaces

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Games involving topology, set theory, or logic (91A44)

Recommendations

• Quantitative Information Flow, Relations and Polymorphic Types
• Information and knowledge. A constructive type-theoretical approach
• Type-theoretical dynamics exploring belief revision in a constructive framework
• scientific article; zbMATH DE number 1231601
• Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information
• scientific article; zbMATH DE number 2085174
• Publication:3026332
• scientific article; zbMATH DE number 17707
• scientific article
• Quantifiers in the world of types

Cites work

• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A model-theoretic analysis of knowledge
• A quantitative analysis of modal logic
• Action emulation between canonical models
• Belief fusion: Aggregating pedigreed belief states
• Composing models
• Dynamic epistemic logic
• Dynamic update with probabilities
• Games with Incomplete Information Played by “Bayesian” Players, I–III Part I. The Basic Model
• Interactive epistemology. I: Knowledge
• Logical dynamics of information and interaction
• Self-admissible sets
• Simulation and Information: Quantifying over Epistemic Events
• Sum and Product in Dynamic Epistemic Logic
• The hierarchical approach to modeling knowledge and common knowledge
• Toward a theory of play: a logical perspective on games and interaction
• Vector Expected Utility and Attitudes Toward Variation

Cited in

(4)

• Knowledge, belief, normality, and introspection
• Kernel-based type spaces
• Updating player's knowledge in the conventional model is not straightforward
• Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces

This page was built for publication: Changing types: information dynamics for qualitative type spaces

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