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)|
|Through your library||Configure|
Similar books and articles
Alberto 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.
Added to index2009-01-28
Total downloads4 ( #178,517 of 549,007 )
Recent downloads (6 months)1 ( #63,261 of 549,007 )
How can I increase my downloads?