Skip to main content

Modal Logic As Dialogical Logic

Abstract

The title reflects my conviction that, viewed semantically,modal logic is fundamentally dialogical; this conviction is based on the key role played by the notion of bisimulation in modal model theory. But this dialogical conception of modal logic does not seem to apply to modal proof theory, which is notoriously messy. Nonetheless, by making use of ideas which trace back to Arthur Prior (notably the use of nominals, special proposition symbols which ‘name’ worlds) I will show how to lift the dialogical conception to modal proof theory. I argue that this shift to hybrid logic has consequences for both modal and dialogical logic, and I discuss these in detail.

This is a preview of subscription content, access via your institution.

REFERENCES

  1. Areces, C., Blackburn, P., and Marx, M.: 1999, ‘Hybrid Logics: Characterization, Interpolation and Complexity’, Technical Report CLAUS-Report 104, Computerlinguistik, Universität des Saarlandes. http://www.coli.uni-sb.de/cl/claus. To appear in Journal of Symbolic Logic.

  2. Barwise, J. and Perry, J.: 1983, Situations and Attitudes, MIT Press, Cambridge, MA.

    Google Scholar 

  3. Basin, D., Matthews, S., and Viganò, L.: 1997, ‘Labelled Propositional Modal Logics: Theory and Practice’, Journal of Logic and Computation 7, 685-717.

    Google Scholar 

  4. Blackburn, P.: 1993, ‘Nominal Tense Logic’, Notre Dame Journal of Formal Logic 14, 56-83.

    Google Scholar 

  5. Blackburn, P.: 1999, ‘Representation, Reasoning and Relational Structure: A Hybrid Logic Manifesto. 1999’, Logic Journal of the IGPL 8(3), 339-365, 2000.

    Google Scholar 

  6. Blackburn, P.: 2000, ‘Internalizing Labeled Deduction’, Journal of Logic and Computation 10, 137-168.

    Google Scholar 

  7. Blackburn, P., de Rijke, M., and Venema, Y.: 1999, Modal Logic. A draft version of this book is available at http://www.coli.uni-sb.de/cl/claus.

  8. Blackburn, P. and Tzakova, M.: 1998, ‘Hybridizing Concept Languages’, Annals of Mathematics and Artificial Intelligence 24, 23-49.

    Google Scholar 

  9. Blackburn, P. and Tzakova, M.: 1999, ‘Hybrid Languages and Temporal Logics’, Logic Journal of the IGPL 7(1), 27-54.

    Google Scholar 

  10. Bull, R.: 1970, ‘An Approach to Tense Logic’, Theoria 36, 282-300.

    Google Scholar 

  11. Demri, S.: 1999, ‘Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization?’ in N. Murray (ed.), Conference on Tableaux Calculi and Related Methods (TABLEAUX), Saratoga Springs, USA, volume 1617 of LNAI, Springer Verlag, pp. 140-154.

  12. Demri, S. and Goré, R.: 1999, ‘Cut-Free Display Calculi for Nominal Tense Logics’, in N. Murray (ed.), Conference on Tableaux Calculi and Related Methods (TABLEAUX), Saratoga Springs, USA, volume 1617 of LNAI, Springer Verlag, pp. 155-170.

  13. Fitting, M.: 1983, Proof Methods for Modal and Intuitionistic Logic, Reidel, Dordrecht.

    Google Scholar 

  14. Gabbay, D. M.: 1981, ‘An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Linear Frames’, in U. Mönnich (ed.), Aspects of Philosophical Logic, Reidel, Dordrecht, pp. 67-89.

    Google Scholar 

  15. Gabbay, D. M.: 1996, Labelled Deductive Systems, Clarendon Press, Oxford.

    Google Scholar 

  16. Gargov, G. and Goranko, V.: 1993, ‘Modal Logic with Names’, Journal of Philosophical Logic 22, 607-636.

    Google Scholar 

  17. Gargov, G., Passy, S., and Tinchev, T.: 1987, ‘Modal Environment for Boolean Speculations’, in D. Skordev (ed.), Mathematical Logic and its Applications, Plenum Press, pp. 253-263.

  18. Hodges, W.: 1993, Model Theory, Cambridge University Press, Cambridge.

    Google Scholar 

  19. Kamp, H. and Reyle, U.: 1993, From Discourse to Logic, Kluwer, Dordrecht.

    Google Scholar 

  20. Konikowska, B.: 1997, ‘A Logic for Reasoning About Relative Similarity’, Studia Logica 58 185-226.

    Google Scholar 

  21. Ladner, R.: 1977, ‘The Computational Complexity of Provability in Systems of Modal Propositional Logic’, SIAM J. of Computing 6(3), 467-480.

    Google Scholar 

  22. Lorenzen, P. and Lorenz, K.: 1978, Dialogische Logik, Wissenschaftliche Buchgesellschaft, Darmstadt.

    Google Scholar 

  23. Marx, M.: 1997, ‘Complexity of Modal Logics of Relations’, Technical Report ML-97-02, ILLC. University of Amsterdam, May.

  24. Marx, M.: 1999, ‘First InternationalWorkshop on Hybrid Logic (HyLo '99), Logic Journal of the IGPL, 7, 665-669. Conference Report.

    Google Scholar 

  25. Marx, M. and Venema, Y.: 1997, Multidimensional Modal Logic, volume 4 of Applied Logic Series, Kluwer, Dordrecht.

    Google Scholar 

  26. Passy, S. and Tinchev, T.: 1991, ‘An Essay in Combinatory Dynamic Logic’, Information and Computation 93, 263-332.

    Google Scholar 

  27. Ponse, A., de Rijke, M., and Venema, Y. (eds): 1995, Modal Logic and Process Algebra. A Bisimulation Perspective, volume 53 of CSLI Lecture Notes, Stanford University, CSLI Publications, Stanford, CA.

  28. Prior, A.: 1996, ‘Quasi-Propositions and Quasi-Individuals’, in Papers on Time and Tense, University of Oxford Press, pp. 135-144.

  29. Prior, A.: 1996, ‘Tense Logic and the Logic of Earlier and Later’, in Papers on Time and Tense, University of Oxford Press, pp. 116-134.

  30. Prior, A. N.: Past, Present and Future, Oxford University Press.

  31. Rahman, S. and Rückert, H.: 1999, ‘Dialogische Modallogik (für T, B, S4 und S5)’, to appear in Logique et Analyse.

  32. Sahlqvist, H.: 1975, Completeness and Correspondence in the First and Second Order Semantics for Modal Logic, Amsterdam, North-Holland, pp. 110-143.

    Google Scholar 

  33. Seligman, J.: 1997, ‘The Logic of Correct Description’, in M. de Rijke (ed.), Advances in Intensional Logic, Kluwer, Dordrecht, pp. 107-135.

    Google Scholar 

  34. Thomason, Richmond: 1974, Formal Philosophy. Selected Papers of Richard Montague, Yale University Press, New Haven.

    Google Scholar 

  35. Thomason, S. K.: 1972, ‘Semantic Analysis of Tense Logics’, Journal of Symbolic Logic 37, 150-158.

    Google Scholar 

  36. Tzakova, M.: 1999, ‘Tableaux Calculi for Hybrid Logics’, in N. Murray (ed.), Conference on Tableaux Calculi and Related Methods (TABLEAUX), Saratoga Springs, USA, volume 1617 of LNAI, Springer Verlag, Berlin, pp. 278-292.

    Google Scholar 

  37. van Benthem, J.: 1983, Modal Logic and Classical Logic, Bibliopolis, Naples, 1983.

    Google Scholar 

  38. van Benthem, J.: 1984, Correspondence Theory, volume 2, Reidel, Dordrecht, pp. 167-247.

    Google Scholar 

  39. van Dalen, D.: 1989, Logic and Structure (Second Edition), Springer Verlag, Berlin.

    Google Scholar 

Download references

Author information

Affiliations

Authors

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Blackburn, P. Modal Logic As Dialogical Logic. Synthese 127, 57–93 (2001). https://doi.org/10.1023/A:1010358017657

Download citation

Keywords

  • Model Theory
  • Modal Logic
  • Proof Theory
  • Modal Model
  • Hybrid Logic