Modal Logic for Stratified Becoming: Actualization Beyond Possible Worlds
Alexandre Le Nepvou

TL;DR
This paper introduces Stratified Actualization Logic (SAL), a novel modal framework that models actualization processes across layered ontological levels, providing an alternative to traditional possible worlds semantics.
Contribution
It develops a formal system for stratified actualization, defining its syntax, semantics, axioms, and proving soundness and completeness, thus offering a new perspective on modal logic.
Findings
SAL captures ontological actualization without possible worlds
Formal semantics and axioms of SAL are established
Applications include temporal becoming and quantum decoherence
Abstract
This article develops a novel framework for modal logic based on the idea of stratified actualization, rather than the classical model of global possible worlds. Traditional Kripke semantics treat modal operators as quantification over fully determinate alternatives, neglecting the local, dynamic, and often asymmetric nature of actualization processes. We propose a system Stratified Actualization Logic (SAL) in which modalities are indexed by levels of ontological stability, interpreted as admissibility regimes. Each modality operates over a structured layer of possibility, grounded in the internal coherence of transitions between layers. We formally define the syntax and semantics of SAL, introduce its axioms, and prove soundness and completeness. Applications are discussed in connection with temporal becoming, quantum decoherence domains, and modal metaphysics. The result is a logic…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
