Some considerations on branching areas of time

被引：0

作者：

Hajnicz E. ^{[1
]}

机构：

[1] Institute of Computer Science, Polish Academy of Sciences, 01-237 Warsaw

来源：

Journal of Logic, Language and Information | 1999年 / 8卷 / 1期

关键词：

Branching point; Continuity; Partial order; Time points; Time structures;

D O I：

10.1023/A:1008229020082

中图分类号：

学科分类号：

摘要：

In this paper we show that properties of non-linear time structures have not been studied enough. Axioms forcing the existence of a branching point in a branching area of a structure are presented for various classes of structures. We show also that the classical Dedekind continuity axiom does not work well in non-linear structures and we suggest stronger versions. Finally, some interdependencies between the axioms presented are proved. © 1999 Kluwer Academic Publishers.

引用

页码：17 / 43

页数：26

共 50 条

[41] FUTURE BRANCHING TIME
KESSLER, G
[J]. THEORIA, 1975, 41 : 89 - 95
[42] Travelling in Branching Time
Martinez, Manolo
[J]. DISPUTATIO-INTERNATIONAL JOURNAL OF PHILOSOPHY, 2011, 4 (31): : 271 - 287
[43] Axioms for branching time
Reynolds, Mark
[J]. Journal of Logic and Computation, 2002, 12 (04) : 679 - 697
[44] Decisions in Branching Time
Bartha, Paul
[J]. NUEL BELNAP ON INDETERMINISM AND FREE ACTION, 2014, 2 : 29 - 56
[45] PSI AND BRANCHING TIME
COOPER, C
[J]. JOURNAL OF PARAPSYCHOLOGY, 1980, 44 (01) : 64 - 65
[46] INEVITABILITY IN BRANCHING TIME
CARMO, J
SERNADAS, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 363 : 41 - 62
[47] Branching time and doomsday
Andreoletti, Giacomo
[J]. RATIO, 2022, 35 (02) : 79 - 90
[48] EMBEDDABILITY OF DISCRETE TIME SIMPLE BRANCHING PROCESSES INTO CONTINUOUS TIME BRANCHING PROCESSES
KARLIN, S
MCGREGOR, J
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1968, 132 (01) : 115 - &
[49] THE LINEAR TIME - BRANCHING TIME SPECTRUM
VANGLABBEEK, RJ
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 458 : 278 - 297
[50] CONSIDERATIONS IN REGULATION OF INTERCONNECTED AREAS
COHN, N
[J]. IEEE TRANSACTIONS ON POWER APPARATUS AND SYSTEMS, 1967, PA86 (12): : 1527 - &

← 1 2 3 4 5 →