用分层现实化机制重构模态逻辑，摆脱可能世界抽象框架。
Modal Logic for Stratified Becoming: Actualization Beyond Possible Worlds
- 以分层现实化取代传统可能世界，构建新型模态系统
- 提出SAL系统并证明其公理完备性与逻辑一致性
- 适用于时间生成、量子退相干等动态现实过程建模
本文提出一种基于分层现实化的新模态逻辑框架，突破经典克里普克语义中对全局可能世界的依赖。传统模态逻辑将模态算子视为对完全确定替代方案的量化，忽视了现实化过程的局部性、动态性和非对称性。我们构建了分层现实化逻辑（Stratified Actualization Logic, SAL），其中模态算子按本体论稳定性层级索引，对应可接受性制度。每个模态作用于由层间转换内在一致性支撑的可能性结构层。本文形式化定义了SAL的语法与语义，引入其公理体系，并证明了其可靠性与完备性。应用涵盖时间生成、量子退相干域及模态形而上学。该系统在不依赖抽象可能世界的情况下，刻画了现实化的本体结构，为标准模态实在论提供分层替代方案。
原文摘要 · Abstract (English)
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 that captures the ontological structure of actualization without recourse to abstract possible worlds, offering a stratified alternative to standard modal realism.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。