Changing types: information dynamics for qualitative type spaces

DOI10.1007/S11225-014-9545-4zbMATH Open1329.03049OpenAlexW2053748277MaRDI QIDQ2016079FDOQ2016079

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

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

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)

Cites Work

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

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)