Journal of Philosophical Logic

, Volume 31, Issue 4, pp 359–386 | Cite as

Modal Logic, Truth, and the Master Modality

  • Torben Braüner
Article

Abstract

In the paper (Braüner, 2001) we gave a minimal condition for the existence of a homophonic theory of truth for a modal or tense logic. In the present paper we generalise this result to arbitrary modal logics and we also show that a modal logic permits the existence of a homophonic theory of truth if and only if it permits the definition of a so-called master modality. Moreover, we explore a connection between the master modality and hybrid logic: We show that if attention is restricted to bidirectional frames, then the expressive power of the master modality is exactly what is needed to translate the bounded fragment of first-order logic into hybrid logic in a truth preserving way. We believe that this throws new light on Arthur Prior's fourth grade tense logic.

homophonic theories of truth hybrid logic modal logic 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

REFERENCES

  1. Areces, C., Blackburn, P. and Marx, M.: 2001, Hybrid logics: Characterization, interpolation and complexity, J. Symbolic Logic 66, 977-1010.Google Scholar
  2. Blackburn, P., de Rijke, M. and Venema, Y.: 2001, Modal Logic, Cambridge Tracts in Theoret. Comput. Sci. 53, Cambridge University Press.Google Scholar
  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.Google Scholar
  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. An earlier version was given at Advances in Modal Logic/International Conference on Temporal Logic, 2000.Google Scholar
  5. Davidson, D.: 1984, Inquiries into Truth and Interpretation, Oxford University Press.Google Scholar
  6. 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.Google Scholar
  7. Fitting, M. and Mendelsohn, R. L.: 1998, First-Order Modal Logic, Kluwer Academic Publishers, Dordrecht.Google Scholar
  8. Gupta, A.: 1978, Modal logic and truth, J. Philos. Logic 7, 441-472.Google Scholar
  9. 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.Google Scholar
  10. Hughes, G. E. and Cresswell, M. J.: 1968, An Introduction to Modal Logic, Methuen.Google Scholar
  11. Hughes, G. E. and Cresswell, M. J.: 1984, A Companion to Modal Logic, Methuen.Google Scholar
  12. 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.Google Scholar
  13. Øhrstrøm, P. and Hasle, P.: 1993, A. N. Prior's rediscovery of tense logic, Erkenntnis 39, 23-50.Google Scholar
  14. Peacocke, C.: 1978, Necessity and truth theories, J. Philos. Logic 7, 473-500.Google Scholar
  15. Prior, A.: 1957, Time and Modality, Clarendon/Oxford University Press.Google Scholar
  16. Prior, A.: 1967, Past, Present and Future, Oxford.Google Scholar
  17. 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.Google Scholar
  18. 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.Google Scholar
  19. 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.Google Scholar
  20. Tarski, A.: 1956, The concept of truth in formalized languages, in Logic, Semantics, Metamathematics, Oxford University Press, pp. 152-278.Google Scholar
  21. Thomason, R. H.: 1976, Necessity, quotation and truth: An indexical theory, in A. Kasher (ed.), Language in Focus, D. Reidel, pp. 119-138.Google Scholar
  22. Wallace, J.: 1970, On the frame of reference, Synthese 22, 61-94.Google Scholar
  23. Wallace, J.: 1975, Nonstandard theories of truth, in D. Davidson and G. Harman (eds.), The Logic of Grammar, Dickenson Publishing Company, pp. 50-60.Google Scholar

Copyright information

© Kluwer Academic Publishers 2002

Authors and Affiliations

  • Torben Braüner
    • 1
  1. 1.Department of Computer ScienceRoskilde UniversityRoskildeDenmark

Personalised recommendations