Arthur prior and hybrid logic

Synthese

Volumn 150, Issue 3, 2006, Pages 329-372

  Blackburn, Patrick ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33746766967     PISSN: 00397857     EISSN: 15730964     Source Type: Journal    
DOI: 10.1007/s11229-005-5512-y     Document Type: Conference Paper

References (31)

1. Areces, C.: 2000, 'Logic Engineering. The Case of Description and Hybrid Logics'. Ph.D. thesis, Institute for Logic, Language and Computation, University of Amsterdam.
2. Areces, C., P. Blackburn, and M. Marx: 2001, 'Hybrid Logics: Characterization, Interpolation and Complexity', Journal of Symbolic Logic 66(3), 977-1010.
3. Baader, F., D. Calvanese, D. McGuiness, D. Nardi, and P. Patel-Schneider (eds.): 2003, The Description Logic Handbook: Theory, Implementation and Applications, Cambridge University Press.
4. Blackburn, P.: 1994, 'Tense, Temporal Reference and Tense Logic', Journal of Semantics 11, 83-101.
5. Blackburn, P.: 2000, 'Representation, Reasoning, and Relational Structures: A Hybrid Logic Manifesto', Logic Journal of the IGPL 8, 339-365.
6. Blackburn, P., M. de Rijke, and Y. Venema: 2001, Modal Logic, Cambridge University Press.
7. Blackburn, P. and J. Seligman: 1995, 'Hybrid Languages', Journal of Logic, Language and Information 4(3), 251-272.
8. Braüner, T.: 2002, 'Modal Logic, Truth, and the Master Modality', Journal of Philosophical Logic 31, 359-386.
9. Revised and extended version of paper in Advances in Modal Logic, Volume 3, World Scientific.
10. Bull, R.: 1970, An Approach to Tense Logic', Theoria 36, 282-300.
11. Comrie, B.: 1981, 'On Reichenbach's Approach to Tense', in Papers from the Seventeenth Regional Meeting, Chicago Linguistics Society, pp. 24-30.
12. Hasle, P.: 1991, 'Building a Temporal Logic for Natural Language Understanding with the HOL-system', In Brown and Koch (eds.), Natural Language Understanding and Logic Programming, III.
13. Hasle, P.: 1997, 'Linguistic and Tense-Logical Considerations on the Generality of a Three-Point Structure of Tenses', In Faye et al. (eds.), Perspectives on Time, Kluwer Academic Publishers.
14. Hintikka, J.: 1988, 'On the Development of the Model-Theoretic Viewpoint in Logical Theory', Synthese 77, 1-36.
15. Janin, D. and I. Walukiewicz: 1996, 'On the Expressive Completeness of the Propositional Mu-calculus with Respect to Second Order Logic'. In Proceedings CONCUR '96, Vol. 1119 of Lecture Notes in Computer Science, Springer, pp. 263-277.
16. Kozen, D.: 1983, 'Results on the Propositional Mu-calculus', Theoretical Computer Science 27, 333-354.
17. Kripke, S.: 1981, Naming and Necessity, Basil Blackwell.
18. Øhrstrøm, P.: 1988, Nogle aspekter of tidsbegrebets rolle i de eksakte videnskaber med sxrligt henblik pa logikken, Aalborg University Press.
19. Øhrstrøm, P. and P. Hasle: 1993, 'A. N. Prior's Rediscovery of Tense Logic', Erkenntnis 39, 23-50.
20. Øhrstrøm P. and P. Hasle: 1995, Temporal Logic, Kluwer Academic Publishers.
21. Passy, S. and T. Tinchev: 1991, An Essay in Combinatory Dynamic Logic', Information and Computation 93(2), 263-332.
22. Prior, A.: 1967, Past, Present and Future, Oxford University Press.
23. Prior, A.: 1968, Papers on Time and Tense, Oxford University Press.
24. Prior, A.: 2003, Hasle, Øhrstrøm, Braüner, and Copeland, Papers on Time and Tense, New edition, Oxford University Press.
25. Prior, A. and K. Fine: 1977, Worlds, Times and Selves, University of Massachusetts Press.
26. Reichenbach, H.: 1947, Elements of Symbolic Logic, Random House, New York.
27. Schild, K.: 1991, A Correspondence Theory for Terminological Logics', in Proceedings of the 12th IJCAI, pp. 466-471.
28. ten Cate, B.: 2004, 'Model Theory for Extended Modal Languages', Ph.D. thesis, Institute for Logic, Language and Computation, University of Amsterdam.
29. van Benthem, J.: 1983, Modal Logic and Classical Logic, Bibliopolis, Naples.
30. van Benthem, J.: 1991, The Logic of Time, 2nd edn Kluwer Academic Publishers, second edition.
31. van Benthem, J.: 2001, 'Correspondence Theory', In D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, 2nd edn, Vol. 3, Kluwer Academic Publishers, pp. 325-408.