Modeling correlated information change: from conditional beliefs to quantum conditionals.

Area of Science:

• Logic and Information Theory
• Epistemology
• Quantum Measurement Theory

Background:

• Information acquisition often alters the information landscape.
• Existing models struggle to unify phenomena where learning impacts reality.
• Dynamic epistemic logic offers tools for modeling belief revision and information dynamics.

Purpose of the Study:

• To propose a unified logical framework for correlated information change.
• To model how agents' beliefs change upon learning higher-order information.
• To analyze observational effects on phenomena, including quantum measurements.

Main Methods:

• Utilizing concepts from dynamic logic and "dynamic conditionals."
• Developing a semantics based on "test frames" (Kripke frames with propositional labels).
• Applying the framework to analyze ontic and epistemic aspects of information change.

Main Results:

• A unified framework for representing and analyzing information change where learning affects reality.
• Formal modeling of introspective agents updating beliefs based on higher-order information.
• Analysis of how observations, such as quantum measurements, perturb the studied phenomenon.

Conclusions:

• The proposed framework provides a unified approach to diverse information-gathering phenomena.
• Dynamic logic and "test frames" effectively model the interplay between information and reality.
• The framework facilitates comparisons between quantum measurements and other forms of observation and belief revision.