Tipus de document
Treball de fi de màsterData de publicació
Llicència de publicació
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/231557
Hybrid Logics for Spacetimes along the Causal Ladder
Títol de la revista
Autors
Director/Tutor
ISSN de la revista
Títol del volum
Recurs relacionat
Resum
We study how Modal and Hybrid Logic can be used to describe the causal structure of spacetime. Motivated by Malament’s Theorem, which shows that the causal order alone can recover the Lorentzian manifold structure up to conformal factor, we introduce a Hybrid Language capable of expressing spacetime notions such as future/past cones and chronological/causal diamonds. In terms of this language, the modalities F, P, @, and U are definable. Within this language we give axioms for characterising several levels of the Causal Ladder – non-total viciousness, chronology, causality, and distinguishability. The broader aim is to lay groundwork toward complete logics for the spacetimes classified by the Causal Ladder though this larger goal is left for future work
Descripció
Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2025-2026. Tutor: Fernández Duque, David i McLean, Brett
Matèries (anglès)
Citació
Citació
TENORIO HERNÁNDEZ, Pablo. Hybrid Logics for Spacetimes along the Causal Ladder. [consulted: 24 of September of 2026]. Available at: https://hdl.handle.net/2445/231557