Some considerations on branching areas of time
Journal of Logic, Language and Information 8 (1):17-43 (1999)
| Abstract | 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. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAlberto Zanardo (1998). Undivided and Indistinguishable Histories in Branching-Time Logics. Journal of Logic, Language and Information 7 (3):297-315.
Volker Weber (2009). Branching-Time Logics Repeatedly Referring to States. Journal of Logic, Language and Information 18 (4).
Thomas Müller (2012). Branching in the Landscape of Possibilities. Synthese 188 (1):41-65.
Joeri Engelfriet & Jan Treur (2002). Linear, Branching Time and Joint Closure Semantics for Temporal Logic. Journal of Logic, Language and Information 11 (4):389-425.
Matt Farr (2012). On A- and B-Theoretic Elements of Branching Spacetimes. Synthese 188 (1):85-116.
Elżbieta Hajnicz (1995). Some Considerations on Non-Linear Time Intervals. Journal of Logic, Language and Information 4 (4):335-357.
Manolo Martínez (2011). Travelling in Branching Time. Disputatio 4 (31):59-75.
Ron van der Meyden & Ka-shu Wong (2003). Complete Axiomatizations for Reasoning About Knowledge and Branching Time. Studia Logica 75 (1):93 - 123.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,517 of 549,007 )Recent downloads (6 months)1 ( #63,261 of 549,007 )How can I increase my downloads? |
My notes
Discussion
