1. ElŻbieta Hajnicz (1999). Some Considerations on Branching Areas of Time. Journal of Logic, Language and Information 8 (1):17-43.
    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.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Elżbieta Hajnicz (1996). Applying Allen's Constraint Propagation Algorithm for Non-Linear Time. Journal of Logic, Language and Information 5 (2):157-175.
    The famous Allen's interval relations constraint propagation algorithm was intended for linear time. Its 13 primitive relations define all the possible mutual locations of two intervals on the time-axis. In this paper an application of the algorithm for non-linear time is suggested. First, a new primitive relation is added. It is called excludes since an occurrence of one event in a certain course of events excludes an occurrence of the other event in this course. Next, new composition rules for relations (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Elżbieta Hajnicz (1995). Some Considerations on Non-Linear Time Intervals. Journal of Logic, Language and Information 4 (4):335-357.
    Most of the descriptions of interval time structures in the first order predicate calculus are based on linear time. However, in the case of intervals, abandoning the condition oflinearity (e.g.LIN in van Benthem's systems) is not sufficient. In this paper, some properties of non-linear time structures are discussed. The most important one is the characterization of location of intervals in a fork of branches. This is connected with the fact that an interval can contain non-collinear subintervals. As a result of (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation