Relating Semantics for Epistemic Logic

Alessandro Giordani

doi:10.12775/LLP.2021.024

Autor

Alessandro Giordani Università Cattolica di Milano https://orcid.org/0000-0003-4654-2174

DOI:

https://doi.org/10.12775/LLP.2021.024

Słowa kluczowe

relating semantics, epistemic logic, justification logic

Abstrakt

The aim of this paper is to explore the advantages deriving from the application of relating semantics in epistemic logic. As a first step, I will discuss two versions of relating semantics and how they can be differently exploited for studying modal and epistemic operators. Next, I consider several standard frameworks which are suitable for modelling knowledge and related notions, in both their implicit and their explicit form and present a simple strategy by virtue of which they can be associated with intuitive systems of relating logic. As a final step, I will focus on the logic of knowledge based on justification logic and show how relating semantics helps us to provide an elegant solution to some problems related to the standard interpretation of the explicit epistemic operators.

Bibliografia

Artemov, S., “Explicit provability and constructive semantics”, The Bulletin of Symbolic Logic 7, 1 (2001): 1–36. DOI: https://doi.org/10.2307/2687821

Artemov, S., “The logic of justification”, The Review of Symbolic Logic 1, 4 (2008): 477–513. DOI: https://doi.org/10.1017/S1755020308090060

Artemov, S., and M. Fitting, Justification Logic. Reasoning with Reasons, Cambridge University Press, 2019. DOI: https://doi.org/10.1017/9781108348034

Baltag, A., N. Bezhanishvili, Ö. Aybüke and S. Smets, “A topological approach to full belief”, Journal of Philosophical Logic 48 (2019): 205–244. DOI: https://doi.org/10.1007/s10992-018-9463-4

Blackburn, P., M. de Rijke and Y. Venema, Modal Logic, Cambridge University Press, 2001. DOI: https://doi.org/10.1017/CBO9781107050884

Broome, J., Rationality Through Reasoning, Blackwell, 2013.

Chellas, B., Modal Logic. An Introduction, Cambridge University Press, 1980. DOI: https://doi.org/10.1017/CBO9780511621192

Epstein, R., “Relatedness and implication”, Philosophical Studies 36 (1979): 137–173. DOI: https://doi.org/10.1007/BF00354267

Epstein, R., The Semantic Foundations of Logic, Springer, 1990. DOI: https://doi.org/10.1007/978-94-009-0525-2

Fagin, R., J. Halpern, Y. Moses and M. Vardi, Reasoning about Knowledge, MIT Press, 1995. DOI: https://doi.org/10.7551/mitpress/5803.001.0001

Fitting, M., “The logic of proofs, semantically”, Annals of Pure and Applied Logic 132, 1 (2005): 1–25. DOI: https://doi.org/10.1016/j.apal.2004.04.009

Fumerton, R., Epistemology, Blackwell, 2006.

Giordani, A., “A new framework for justification logic”, Journal of Applied Non-Classical Logics 25, 4 (2015): 308–323. DOI: https://doi.org/10.1080/11663081.2015.1128796

Halpern, J., and R. Pucella, “Dealing with logical omniscience: expressiveness and pragmatics”, Artificial Intelligence 175, 1 (2011): 220–235. DOI: https://doi.org/10.1016/j.artint.2010.04.009

Horty, J., Reasons as Defaults, Oxford University Press, 2012. DOI: https://doi.org/10.1093/acprof:oso/9780199744077.001.0001

Jarmużek, T., “Relating semantics as fine-grained semantics for intensional logics”, pages 13–32 in A. Giordani and J. Malinowski (eds.), Logic in High Definition. Trends in Logical Semantics, Springer, 2021. DOI: https://doi.org/10.1007/978-3-030-53487-5_2

Jarmużek, T., and M. Klonowski, “On logics of strictly-deontic modalities. A semantic and tableau approach”, Logic and Logical Philosophy 29 (2020): 335–380. DOI: https://doi.org/10.12775/LLP.2020.010

Jarmużek, T., and M. Klonowski, “Some intensional logics defined by relating semantics and tableau systems”, pages 33–50 in A. Giordani and J. Malinowski (eds.), Logic in High Definition. Trends in Logical Semantics. Springer, 2021. DOI: https://doi.org/10.1007/978-3-030-53487-5_3

Jarmużek, T., and J. Malinowski, “Boolean connexive logics: semantics and tableau approach”, Logic and Logical Philosophy 28 (2019): 427–448. DOI: https://doi.org/10.12775/LLP.2019.003

Jarmużek, T., and J. Malinowski, “Modal Boolean connexive logics: semantics and tableau approach, Bulletin of the Section of Logic 48 (2019): 213–243. DOI: https://doi.org/10.18778/0138-0680.48.3.05

Pacuit, E., Neighborhood Semantics for Modal Logic, Springer, 2017. DOI: https://doi.org/10.1007/978-3-319-67149-9

Pritchard, D., What is This Thing Called Knowledge?, Routledge, 2010. DOI: https://doi.org/10.4324/9780203092217

Scanlon, T. M., What We Owe to Each Other, Harvard University Press, 1998. DOI: https://doi.org/10.2307/j.ctv134vmrn

Stalnaker, R., “On logics of knowledge and belief”, Philosophical Studies 128, 1 (2006): 169–199. DOI: https://doi.org/10.1007/s11098-005-4062-y

van Benthem, J., “Epistemic logic and episteology: the state of their affairs”, Philosophical Studies 128, 1 (2006): 49–76. DOI: https://doi.org/10.1007/s11098-005-4052-0

van Benthem, J., and E. Pacuit, “Dynamic logics of evidence-based beliefs”, Studia Logica 99, 1–3 (2011): 61–92. DOI: https://doi.org/10.1007/s11225-011-9347-x

Walton, D., “Philosophical basis of relatedness logic”, Philosophical Studies 36, 2 (1979): 115–136. DOI: https://doi.org/10.1007/BF00354266