Abstract
The aim of this paper is to present a new perspective under which branching-time semantics can be viewed. The set of histories (maximal linearly ordered sets) in a tree structure can be endowed in a natural way with a topological structure. Properties of trees and of bundled trees can be expressed in topological terms. In particular, we can consider the new notion of topological validity for Ockhamist temporal formulae. It will be proved that this notion of validity is equivalent to validity with respect to bundled trees.
Similar content being viewed by others
References
Van Benthem, J., ‘Content versus wrapping: an essay in semantic complexity’, in M. Marx, L. Pólos, and M. Masuch, (eds.), Arrow Logic and Multi-Modal Logic, Studies in Logic, Language and Information, CSLI Publications, Stanford, 1996, pp. 203–219.
Van Benthem, J., ‘Temporal patterns and modal structure’, Logic J. of the IGPL, 7(1):7–26, 1999. Special issue on Tempora Logic.
Burgess, J., ‘Logic and time’, J. of Symbolic Logic, 44:556–582, 1979.
Gabbay, D., I. Hodkinson, and M. Reynolds, Temporal Logic: Mathematical Foundation and Computational Aspects, volume I, Oxford University Press, Oxford, 1994.
Nyikos, P. J., ‘On some non-Archimedean spaces of Alexandroff and Urysohn’, Topology and its Applications, 91:1–23, 1999.
Prior, A., Past, Present and Future, Clarendon, Oxford, 1967.
Sabbadin, M., ‘Semantica topologica per logiche del tempo ramificato’, ‘Laurea’ dissertation, Facoltà di Scienze MM.FF.NN., Università di Padova, February 2002.
Segerberg, K., An Essay in Classical Modal Logic, Filosofiska Studier 13, University of Uppsala, 1971.
Thomason, R., ‘Combination of tense and modality’, in D. Gabbay and F. Guenthner, (eds.), The Handbook of Philosophical Logic, volume II, chapter 3, Reidel, Dordrecht, 1984, pp. 135–165.
Zanardo, A., ‘Branching-time logic with quantification over branches: the point of view of modal logic’, J. of Symbolic Logic, 61(1):1–39, 1996.
Zanardo, A., ‘First-order and second-order aspects of branching-time semantics’, to appear in the Proceedings of HPLMC-02, Second International Workshop oh the History and Philosophy of Logic, Mathematics and Computation (San Sebastian, Spain, 7–9 November, 2002), 2003.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Sabbadin, M., Zanardo, A. Topological Aspects of Branching-Time Semantics. Studia Logica 75, 271–286 (2003). https://doi.org/10.1023/B:STUD.0000009560.90259.de
Issue Date:
DOI: https://doi.org/10.1023/B:STUD.0000009560.90259.de