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.
Similar content being viewed by others
REFERENCES
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.
Barwise, J. and Perry, J.: 1983, Situations and Attitudes, MIT Press, Cambridge, MA.
Basin, D., Matthews, S., and Viganò, L.: 1997, ‘Labelled Propositional Modal Logics: Theory and Practice’, Journal of Logic and Computation 7, 685-717.
Blackburn, P.: 1993, ‘Nominal Tense Logic’, Notre Dame Journal of Formal Logic 14, 56-83.
Blackburn, P.: 1999, ‘Representation, Reasoning and Relational Structure: A Hybrid Logic Manifesto. 1999’, Logic Journal of the IGPL 8(3), 339-365, 2000.
Blackburn, P.: 2000, ‘Internalizing Labeled Deduction’, Journal of Logic and Computation 10, 137-168.
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.
Blackburn, P. and Tzakova, M.: 1998, ‘Hybridizing Concept Languages’, Annals of Mathematics and Artificial Intelligence 24, 23-49.
Blackburn, P. and Tzakova, M.: 1999, ‘Hybrid Languages and Temporal Logics’, Logic Journal of the IGPL 7(1), 27-54.
Bull, R.: 1970, ‘An Approach to Tense Logic’, Theoria 36, 282-300.
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.
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.
Fitting, M.: 1983, Proof Methods for Modal and Intuitionistic Logic, Reidel, Dordrecht.
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.
Gabbay, D. M.: 1996, Labelled Deductive Systems, Clarendon Press, Oxford.
Gargov, G. and Goranko, V.: 1993, ‘Modal Logic with Names’, Journal of Philosophical Logic 22, 607-636.
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.
Hodges, W.: 1993, Model Theory, Cambridge University Press, Cambridge.
Kamp, H. and Reyle, U.: 1993, From Discourse to Logic, Kluwer, Dordrecht.
Konikowska, B.: 1997, ‘A Logic for Reasoning About Relative Similarity’, Studia Logica 58 185-226.
Ladner, R.: 1977, ‘The Computational Complexity of Provability in Systems of Modal Propositional Logic’, SIAM J. of Computing 6(3), 467-480.
Lorenzen, P. and Lorenz, K.: 1978, Dialogische Logik, Wissenschaftliche Buchgesellschaft, Darmstadt.
Marx, M.: 1997, ‘Complexity of Modal Logics of Relations’, Technical Report ML-97-02, ILLC. University of Amsterdam, May.
Marx, M.: 1999, ‘First InternationalWorkshop on Hybrid Logic (HyLo '99), Logic Journal of the IGPL, 7, 665-669. Conference Report.
Marx, M. and Venema, Y.: 1997, Multidimensional Modal Logic, volume 4 of Applied Logic Series, Kluwer, Dordrecht.
Passy, S. and Tinchev, T.: 1991, ‘An Essay in Combinatory Dynamic Logic’, Information and Computation 93, 263-332.
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.
Prior, A.: 1996, ‘Quasi-Propositions and Quasi-Individuals’, in Papers on Time and Tense, University of Oxford Press, pp. 135-144.
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.
Prior, A. N.: Past, Present and Future, Oxford University Press.
Rahman, S. and Rückert, H.: 1999, ‘Dialogische Modallogik (für T, B, S4 und S5)’, to appear in Logique et Analyse.
Sahlqvist, H.: 1975, Completeness and Correspondence in the First and Second Order Semantics for Modal Logic, Amsterdam, North-Holland, pp. 110-143.
Seligman, J.: 1997, ‘The Logic of Correct Description’, in M. de Rijke (ed.), Advances in Intensional Logic, Kluwer, Dordrecht, pp. 107-135.
Thomason, Richmond: 1974, Formal Philosophy. Selected Papers of Richard Montague, Yale University Press, New Haven.
Thomason, S. K.: 1972, ‘Semantic Analysis of Tense Logics’, Journal of Symbolic Logic 37, 150-158.
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.
van Benthem, J.: 1983, Modal Logic and Classical Logic, Bibliopolis, Naples, 1983.
van Benthem, J.: 1984, Correspondence Theory, volume 2, Reidel, Dordrecht, pp. 167-247.
van Dalen, D.: 1989, Logic and Structure (Second Edition), Springer Verlag, Berlin.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1023/A:1010358017657