# The Contextual Modal Logic of a Wigner's Friend Generalization

Preprint · Felipe Dilho Alves, João Carlos Alves Barata

- Archive id: arxiv:2603.29028
- Published: 2026-03-30
- arXiv: <https://arxiv.org/abs/2603.29028>
- Source URL: <https://arxiv.org/abs/2603.29028>
- PDF: <https://arxiv.org/pdf/2603.29028>
- Provenance: arxiv

## Abstract

Quantum mechanics has been subject to logical scrutiny since its inception. The behavior of quantum systems, which are fundamentally dissimilar from classical systems, often appears to point to a logical inconsistency in quantum mechanics, allegedly leading to contradictions in the prediction of experimental measurements--though such contradictions have never materialized. A recent example of this type of inquiry into the logical well-posedness of quantum mechanics is the Frauchiger-Renner Gedankenexperiment, which purports to demonstrate that quantum mechanics is logically inconsistent. In this article, we show that by considering the property of contextuality in quantum systems--as predicted by the Kochen-Specker theorem--the supposed contradiction proposed by Frauchiger and Renner becomes logically inaccessible.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._


---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.