Modal logic, truth, and the master modality

Journal of Philosophical Logic

Volumn 31, Issue 4, 2002, Pages 359-386

  Braüner, Torben ^a  

^a ROSKILDE UNIVERSITY   (Denmark)

Author keywords

Homophonic theories of truth; Hybrid logic; Modal logic

Indexed keywords

EID: 3042705609     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1019992820056     Document Type: Article

References (24)

1. Areces, C., Blackburn, P. and Marx, M.: 2001, Hybrid logics: Characterization, interpolation and complexity, J. Symbolic Logic 66, 977-1010.
2. Blackburn, P., de Rijke, M. and Venema, Y: 2001, Modal Logic, Cambridge Tracts in Theoret. Comput. Sci. 53, Cambridge University Press.
3. Blackburn, P. and Seligman, J.: 1998, What are hybrid languages? in M. Kracht, M. de Rijke, H. Wansing and M. Zakharyaschev (eds.), Advances in Modal Logic, Vol. 1, CSLI Publications, Stanford, CA, pp. 41-62.
4. Braüner, T.: 2001, Homophonic theory of truth for tense logic, in F. Wolter, H. Wansing, M. de Rijke and M. Zakharyaschev (eds.), Advances in Modal Logic, Vol. 3, CSLI Publications, Stanford, CA. To appear.
5. An earlier version was given at Advances in Modal Logic/International Conference on Temporal Logic, 2000.
6. Davidson, D.: 1984, Inquiries into Truth and Interpretation, Oxford University Press.
7. Fitting, M.: 1993, Basic modal logic, in D. Gabbay et al. (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1, Logical Foundations, Oxford University Press, Oxford, pp. 365-448.
8. Fitting, M. and Mendelsohn, R. L.: 1998, First-Order Modal Logic, Kluwer Academic Publishers, Dordrecht.
9. Gupta, A.: 1978, Modal logic and truth, J. Philos. Logic 7, 441-472.
10. Halpern, J. Y. and Vardi, M. Y: 1989, The complexity of reasoning about knowledge and time. I. Lower bounds, J. Comput. Systems Sci. 38, 195-237.
11. Hughes, G. E. and Cresswell, M. J.: 1968, An Introduction to Modal Logic, Methuen.
12. Hughes, G. E. and Cresswell, M. J.: 1984, A Companion to Modal Logic, Methuen.
13. Humberstone, L.: 1996, Homophony, validity, modality, in J. Copeland (ed.), Logic and Reality: Essays in the Legacy of Arthur Prior, Oxford University Press/Clarendon Press, pp. 215-236.
14. Øhrstrøm, P. and Hasle, P.: 1993, A. N. Prior's rediscovery of tense logic, Erkenntnis 39, 23-50.
15. Peacocke, C.: 1978, Necessity and truth theories, J. Philos. Logic 7, 473-500.
16. Prior, A.: 1957, Time and Modality, Clarendon/Oxford University Press.
17. Prior, A.: 1967, Past, Present and Future, Oxford.
18. Prior, A.: 1968, Papers on Time and Tense, Clarendon/Oxford University Press. A revised and extended edition of this book will in 2003 be published by Oxford University Press, edited by P. Hasle, P. Øhrstrøm, T. Braüner, and J. Copeland.
19. Sundholm, G.: 1986, Proof theory and meaning, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. III, Alternatives to Classical Logic, D. Reidel, pp. 471-506.
20. Sylvan, R.: 1996, Other withered stumps of time, in J. Copeland (ed.), Logic and Reality: Essays in the Legacy of Arthur Prior, Oxford University Press/Clarendon Press, Oxford, pp. 111-130.
21. Tarski, A.: 1956, The concept of truth in formalized languages, in Logic, Semantics, Metamathematics, Oxford University Press, pp. 152-278.
22. Thomason, R. H.: 1976, Necessity, quotation and truth: An indexical theory, in A. Kasher (ed.), Language in Focus, D. Reidel, pp. 119-138.
23. Wallace, J.: 1970, On the frame of reference, Synthese 22, 61-94.
24. Wallace, J.: 1975, Nonstandard theories of truth, in D. Davidson and G. Harman (eds.), The Logic of Grammar, Dickenson Publishing Company, pp. 50-60.