Abstract
The paper presents an epistemic logic with quantification over agents of knowledge and with a syntactical distinction between de re and de dicto occurrences of terms. Knowledge de dicto is characterized as ‘knowledge that’, and knowlegde de re as ‘knowledge of’. Transition semantics turns out to be an adequate tool to account for the distinctions introduced.
Similar content being viewed by others
References
Burge T.: Belief De Re. The Journal of Philosophy 74, 338–362 (1977)
Carlson L.: Quantified Hintikka-Style Epistemic Logic. Synthese 74, 223–262 (1998)
Colombetti, M., and A. Lomuscio, QLB: A Quantified Logic of Belief, in Müller, Woolridge, and Jennings (eds.), Intelligent Agents III, Springer-Verlag, 1997.
Corsi, G., Necessary for, in Glymour, Wei, and Westerstahl (eds.), Logic, Methodology and Philosophy of Science, Proceedings of the Thirtheen International Congress, King’s College Publications, 2009.
Corsi, G., and G. Tassi, A New Approach to Epistemic Logic, forthcoming.
Fagin, R., J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about Knowledge, MIT Press, 1995.
Fitting, M.C., Modal Logic Should Say More than it Does, in Lassez, and Plokin (eds.), Computational Logic, MIT Press, 1991.
Fitting, M.C., and R.L. Mendelsohn, First-Order Modal logic, Kluwer, 1998.
Fitting M.C., Thalmann L., Voronkov A.: Term-Modal Logic. Studia Logica 69, 133–169 (2001)
Gochet, P., and P. Gribomont, Epistemic Logic, in Gabbay, and Wood (eds.), The Handbook of History and Philosophy of Logic, vol 6, Elsevier, 2006.
Grove A.J.: Naming and Identity in Epistemic Logic part II: a First-Order Logic for Naming. Artificial Intelligence 74, 31–350 (1995)
Heim I.: Presupposition Projection and the Semantics of Attitudes Verbs. Journal of Semantics 9, 183–221 (1992)
Hendricks, V.F., K.F. Jorgensen, and S. A. Pedersen, Introduction, in Hendricks, Jorgensen, and Pedersen (eds.), Knowledge Contributors, Kluwer, 2003.
Hintikka, J., Knowledge and Belief. Cornell University Press, 1962.
Hintikka, J., A Second Generation Epistemic Logic and Its General Significance, in Hendricks, Jorgensen, and Pedersen (eds.), Knowledge Contributors, Kluwer, 2003.
Kaplan D.: Quantifying in. Synthese 19, 178–214 (1968)
Lewis D.: Attitudes De Dicto and De Se. The Philosophical Review 88, 513–543 (1979)
Meyer, J-J.Ch., and W. van der Hoek, Epistemic logic for AI and Computer Science, Cambridge University Press, 1995.
Quine W.V.O.: Quantifiers and Propositional Attitudes. The Journal of Philosophy 53, 177–187 (1956)
von Wright, G.H., An Essay in Modal Logic, North-Holland, 1951.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Corsi, G., Orlandelli, E. Free Quantified Epistemic Logics. Stud Logica 101, 1159–1183 (2013). https://doi.org/10.1007/s11225-013-9528-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-013-9528-x