Hybrid Ockhamist temporal logic

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 2001, Pages 183-188

  Blackburn, Patrick ^a   Goranko, Valentin ^b  

^a INRIA   (France)

^b UNIVERSITY OF JOHANNESBURG   (South Africa)

Author keywords

[No Author keywords available]

Indexed keywords

AXIOMATIC SYSTEM; FIRST ORDER LOGIC; HYBRID LOGIC;

FORESTRY; SEMANTICS;

TEMPORAL LOGIC;

EID: 31744440612     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2001.930716     Document Type: Conference Paper

References (19)

1. C. Areces, Logic Engineering. The Case of Description and Hybrid Logics, ILLC Dissertation series DS-2000-05, University of Amsterdam. Available at the hybrid logic homepage, www. hylo.net.
2. C. Areces, P. Blackbum, and M. Marx, The Computa tional Complexity of Hybrid Temporal Logics, Logic Joumal of IGPL, 8(5), 2000, 653-679.
3. R. Alur and T. Henzinger, A Really Temporal Logic. Joumal of the ACM, 41, 1994, 181-204; a preliminary version appeared in the Proc. 30th FOCS, 1989.
4. R. Alur and T. Henzinger, Logics and Models of Real Time: A Survey. In: Real-Eme: Theory in Practice, REX Workshop, LNCS 600, pp. 74-106, 1991.
5. N. Belnap, Branching Space-time, Synthese, 92, 1992, 385-434.
6. P. B lackbum, Representation, Reasoning, and Relational Structures: a Hybrid logic Manifesto, Logic Joumal of ZGPL, 8(3), 2000, 339-365.
7. P. Blackbum and M. Tzakova, Hybrid Languages and Temporal Logic, Logic Joumal of ZGPL, 7(1), 1999 27-54.
8. P. Blackbum, M. de Rijke, and Y. Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 2001.
9. M.] Brown and'V. Goranko, An Extended Branching-Time Ockhamist Temporal Logic, Joumal of-Logic, Language and Information, 8(2), 1999, 143-166.
10. R. Elull, An Approach to Tense Logic, Theoria, 36(3), 1970, 282-300.
11. J. Burgess, Decidability for Branching Time, Studia Logica, 39, 2/3 (1980), 203-218.
12. E. Emerson, Temporal and Modal Logic, in: Handbook of Theoretical Computer Science, vol. B, J. van Leeuwen (ed.), Elsevier, 1990, pp. 995-1072.
13. V. Goranko, Hierarchies of Modal and Temporal Logics with Reference Pointers, Joumal of Logic, Langwge and Information, 5, 1996, 1-24.
14. Y. Gurevich and S. Shelah, The Decision Problem for Branching-Time Logic, Joumal of Symbolic Logic, 50(3), 1985, 668-681.
15. T. Henzinger, Half-Order Modal Logic: How to Prove Red-Time Properties, in: Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing (PODC 1990), pp. 281-296.
16. A. Prior, Past, Present, and Future, Clarendon Press, Oxford, 1967.
17. C. Stirling, Modal and Temporal Logics, in: Handbook of Logic in Computer Science, vol. 2: Computational Structures, S. Abramski, D. Gabbay, T. Maubaum (eds.), Clarendon Press, Oxford, 1992, 478-563.
18. R. Thomason, Combinations of Tense and Modality, in: Handbook of Philosophical Logic, vol. ZZ, D. Gab bay, F. Guenthner (eds.), Reidel, Dordrecht, 1984, 135-165.
19. A. Zanardo, Branching-Time Logic with Quantification Over Branches: The Point of View of Modal Logic, Joumal of Symbolic Logic, 61(1), 1996, l-39.