Abstract
A dialogical version of (modal) epistemic logic is outlined, with an intuitionistic variant. Another version of dialogical epistemic logic is then provided by means of the S4 mapping of intuitionistic logic. Both systems cast new light on the relationship between intuitionism, modal logic and dialogical games.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Celani, S. (2001). Remarks on intuitionistic modal logics. Divulgaciones Mathematicas, 9(2):137–147. Duc, H. N. (1997). Reasoning about rational, but not logically omniscient agents. Journal of Logic and Computation, 7(5):633–648.
Duc, H. N. (1997). Reasoning about rational, but not logically omniscient agents. Journal of Logic and Computation, 7(5):633–648.
Fischer Servi, G. (1977). On modal logics with an intuitionistic base. Studia Logica, 36: 141–149.
Fitting, M. C. (1969). Intuitionistic Logic Model Theory and Forcing. North Holland, Amsterdam, London.
Hintikka, J. (1962). Knowledge and Belief. Reidel, Dordrecht.
Hintikka, J. and Sandu, G. (1997). Game-theoretical semantics. In van Benthem, J. and ter Meulen, A., editors, Handbook of Logic and Language, pages 361–410. MIT Press, Cambridge, MA.
Kripke, S. (1965). Semantical Analysis of Intuitionistic Logic I, pages 92–130. North-Holland, Amsterdam.
Lemmon, J. (1957). New foundations for Lewis modal systems. Journal of Symbolic Logic 22:176–186.
Lorenzen, P. and Lorenz, K. (1978). Dialogische Logik. WBG, Darmstadt.
Rahman, S. (1993). Über Dialoge, Protologische Kategorien und andere Seltenheiten. Peter Lang, Frankfurt a. M.
Rahman, S. (2003). Non-normal dialogics for a wonderful world and more. Preprint (2006). In J. van Benthem et al., editors, The Age of Alternative Logics, pages 311–334. Springer, Dordrecht.
Rahman, S. and Keiff, L. (2005). On how to be a dialogician. In Vandervecken, D., editor, Logic, Thought and Action, pages 359–408. Springer, Dordrecht.
Rahman, S. and Rückert, H. (1999). Dialogische Modallogik für T, B, S4 und S5. Logique et Analyse, 167–168:243–282.
Thomason, R. H. (2000). Modeling the beliefs of other agents. In Minker, J., editor, Logic-Based Artificial Intelligence. Kluwer, Dordrecht.
van Benthem, J. (1991). Reflections on epistemic logic. Logique & Analyse, 133–134:5–14.
van Benthem, J. (2001). Logic in Games. Lecture Notes. ILLC, Amsterdam.
Wolter, F. and Zakharyaschev, M. (1999). Intuitionistic modal logic. In Cantini, A., Cesari, E., and Minari, P., editors, Logic and Foundations of Mathematics, pages 227–238. Kluwer, Dordrecht.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science + Business Media B.V.
About this chapter
Cite this chapter
Rebuschi, M. (2009). Implicit Versus Explicit Knowledge in Dialogical Logic. In: Majer, O., Pietarinen, AV., Tulenheimo, T. (eds) Games: Unifying Logic, Language, and Philosophy. Logic, Epistemology, and the Unity of Science, vol 15. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-9374-6_10
Download citation
DOI: https://doi.org/10.1007/978-1-4020-9374-6_10
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-9373-9
Online ISBN: 978-1-4020-9374-6
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)