Logic of simultaneity
From MaRDI portal
Publication:2390846
DOI10.1007/S10773-008-9900-1zbMATH Open1171.83302arXiv0710.1398OpenAlexW3106399027MaRDI QIDQ2390846FDOQ2390846
Publication date: 10 August 2009
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
Abstract: A logical model of spatiotemporal structures is pictured as a succession of processes in time. One usual way to formalize time structure is to assume the global existence of time points and then collect some of them to form time intervals of processes. Under this set-theoretic approach, the logic that governs the processes acquires a Boolean structure. However, in a real distributed system or a relativistic universe where the message-passing time between different locations is not negligible, the logic has no choice but to accept time interval instead of time point as a primitive concept. From this modeling process of spatiotemporal structures, orthologic, the most simplified version of quantum logic, emerges naturally.
Full work available at URL: https://arxiv.org/abs/0710.1398
Special relativity (83A05) Relativistic gravitational theories other than Einstein's, including asymmetric field theories (83D05)
Cites Work
- A propositional modal logic of time intervals
- Title not available (Why is that?)
- Acyclic colorings of planar graphs
- Title not available (Why is that?)
- Time, clocks, and the ordering of events in a distributed system
- A Road Map of Interval Temporal Logics and Duration Calculi
- Title not available (Why is that?)
- Interval semantics for tense logic: Some remarks
- A brief history of process algebra
Cited In (1)
Recommendations
This page was built for publication: Logic of simultaneity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2390846)
