Abstract
The language of intuitionistic epistemic logic, IEL [3], captures basic reasoning about intuitionistic knowledge and belief, but its language has expressive limitations. Following Gödel’s explication of IPC as a fragment of the more expressive system of classical modal logic S4 we present a faithful embedding of IEL into S4V – S4 extended with a verification modality. The classical modal framework is finer-grained and more flexible, allowing us to make explicit various properties of verification.
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
Artemov, S.: Explicit Provability and Constructive Semantics. Bulletin of Symbolic Logic 7(1), 1–36 (2001)
Artemov, S., Protopopescu, T.: Discovering Knowability: A Semantical Analysis. Synthese 190(16), 3349–3376 (2013)
Artemov, S., Protopopescu, T.: Intuitionistic Epistemic Logic. Tech. rep. [math LO] (December 2014), http://arxiv.org/abs/1406.1582v2
Blackburn, P., de Rijke, M., Vedema, Y.: Modal Logic. Cambridge University Press (2002)
Chagrov, A., Zakharyaschev, M.: Modal Logic. Clarendon Press (1997)
Constable, R.: Types in Logic, Mathematics and Programming. In: Buss, S. (ed.) Handbook of Proof Theory, pp. 683–786. Elsevier (1998)
Došen, K., Božić, M.: Models for Normal Intuitionistic Modal Logics. Studia Logica 43(3), 217–245 (1984)
Došen, K.: Models for Stronger Normal Intuitionistic Modal Logics 44(1)
Došen, K.: Intuitionistic Double Negation as a Necessity Operator. Publications de L’Institute Mathématique (Beograd)(NS) 35(49), 15–20 (1984)
Dummett, M.A.E.: Elements of Intuitionism. Clarendon Press (1977)
Fitting, M., Mendelsohn, R.: First-Order Modal Logic. Kluwer Academic Publishers (1998)
Gödel, K.: An Interpretation of the Intuitionistic Propositional Calculus. In: Feferman, S., Dawson, J.W., Goldfarb, W., Parsons, C., Solovay, R.M. (eds.) Collected Works, vol. 1, pp. 301–303. Oxford Univeristy Press (1933)
Hendricks, V.F.: Formal and Mainstream Epistemology. Cambridge University Press (2006)
Hirai, Y.: An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory. In: Clarke, E.M., Voronkov, A. (eds.) LPAR-16 2010. LNCS, vol. 6355, pp. 272–289. Springer, Heidelberg (2010)
Leite, A.: Fallibilism. In: Dancy, J., Sosa, E., Steup, M. (eds.) A Companion to Epistemology, 2nd edn., pp. 370–375. Blackwell (2010)
McKinsey, J.C.C., Tarski, A.: Some Theorems About the Sentential Calculi of Lewis and Heyting 13(1), 1–15 (1948)
Proietti, C.: Intuitionistic Epistemic Logic, Kripke Models and Fitch’s Paradox. Journal of Philosophical Logic 41(5), 877–900 (2012)
Troelstra, A., Schwichtenberg, H.: Basic Proof Theory. Cambridge University Press (2000)
Univalent Foundations Program: Homotopy Type Theory. Univalent Foundations Program (2013)
Williamson, T.: On Intuitionistic Modal Epistemic Logic. Journal of Philosophical Logic 21(1), 63–89 (1992)
Wolter, F., Zakharyaschev, M.: Intuitionistic Modal Logics as Fragments of Classical Bimodal Logics. In: Orlowska, E. (ed.) Logic at Work, pp. 168–186. Springer (1999)
Wolter, F., Zakharyaschev, M.: Intuitionistic Modal Logic. In: Casari, E., Cantini, A., Minari, P. (eds.) Logic and Foundations of Mathematics, pp. 227–238. Kluwer Academic Publishers (1999)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Protopopescu, T. (2015). Intuitionistic Epistemology and Modal Logics of Verification. In: van der Hoek, W., Holliday, W., Wang, Wf. (eds) Logic, Rationality, and Interaction. LORI 2015. Lecture Notes in Computer Science(), vol 9394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-48561-3_24
Download citation
DOI: https://doi.org/10.1007/978-3-662-48561-3_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-48560-6
Online ISBN: 978-3-662-48561-3
eBook Packages: Computer ScienceComputer Science (R0)