Some Considerations on Branching Areas of Time

Authors:
Elżbieta Hajnicz
Affiliations:
Institute of Computer Science, Polish Academy of Sciences, 01-237 Warsaw, Ordona 21, Poland
Venue:
Journal of Logic, Language and Information
Year:
1999

Citing 8
Cited 0

Branching time and partial order in temporal logics

Time and logic
On the temporal analysis of fairness

POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
"Sometime" is sometimes "not never": on the temporal logic of programs

POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Verification of Concurrent Programs: Temporal Proof Principles

Logic of Programs, Workshop
Reasoning in Interval Temporal Logic

Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Real-Time and the Mu-Calculus (Preliminary Report)

Proceedings of the Real-Time: Theory in Practice, REX Workshop
A temporal logic for reasoning about partially ordered computations (Extended Abstract)

PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Reasoning about change: time and causation from the standpoint of artificial intelligence

Reasoning about change: time and causation from the standpoint of artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we show that properties of non-linear time structureshave not been studied enough. Axioms forcing the existence of abranching point in a branching area of a structure are presented forvarious classes of structures. We show also that the classicalDedekind continuity axiom does not work well in non-linear structuresand we suggest stronger versions. Finally, some interdependenciesbetween the axioms presented are proved.