Changing types: information dynamics for qualitative type spaces
From MaRDI portal
Publication:2016079
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
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)
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)