Skip to main content
Log in

Free Quantified Epistemic Logics

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Burge T.: Belief De Re. The Journal of Philosophy 74, 338–362 (1977)

    Article  Google Scholar 

  2. Carlson L.: Quantified Hintikka-Style Epistemic Logic. Synthese 74, 223–262 (1998)

    Article  Google Scholar 

  3. Colombetti, M., and A. Lomuscio, QLB: A Quantified Logic of Belief, in Müller, Woolridge, and Jennings (eds.), Intelligent Agents III, Springer-Verlag, 1997.

  4. 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.

  5. Corsi, G., and G. Tassi, A New Approach to Epistemic Logic, forthcoming.

  6. Fagin, R., J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about Knowledge, MIT Press, 1995.

  7. Fitting, M.C., Modal Logic Should Say More than it Does, in Lassez, and Plokin (eds.), Computational Logic, MIT Press, 1991.

  8. Fitting, M.C., and R.L. Mendelsohn, First-Order Modal logic, Kluwer, 1998.

  9. Fitting M.C., Thalmann L., Voronkov A.: Term-Modal Logic. Studia Logica 69, 133–169 (2001)

    Article  Google Scholar 

  10. Gochet, P., and P. Gribomont, Epistemic Logic, in Gabbay, and Wood (eds.), The Handbook of History and Philosophy of Logic, vol 6, Elsevier, 2006.

  11. Grove A.J.: Naming and Identity in Epistemic Logic part II: a First-Order Logic for Naming. Artificial Intelligence 74, 31–350 (1995)

    Article  Google Scholar 

  12. Heim I.: Presupposition Projection and the Semantics of Attitudes Verbs. Journal of Semantics 9, 183–221 (1992)

    Article  Google Scholar 

  13. Hendricks, V.F., K.F. Jorgensen, and S. A. Pedersen, Introduction, in Hendricks, Jorgensen, and Pedersen (eds.), Knowledge Contributors, Kluwer, 2003.

  14. Hintikka, J., Knowledge and Belief. Cornell University Press, 1962.

  15. Hintikka, J., A Second Generation Epistemic Logic and Its General Significance, in Hendricks, Jorgensen, and Pedersen (eds.), Knowledge Contributors, Kluwer, 2003.

  16. Kaplan D.: Quantifying in. Synthese 19, 178–214 (1968)

    Article  Google Scholar 

  17. Lewis D.: Attitudes De Dicto and De Se. The Philosophical Review 88, 513–543 (1979)

    Article  Google Scholar 

  18. Meyer, J-J.Ch., and W. van der Hoek, Epistemic logic for AI and Computer Science, Cambridge University Press, 1995.

  19. Quine W.V.O.: Quantifiers and Propositional Attitudes. The Journal of Philosophy 53, 177–187 (1956)

    Article  Google Scholar 

  20. von Wright, G.H., An Essay in Modal Logic, North-Holland, 1951.

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Giovanna Corsi.

Rights and permissions

Reprints 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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-013-9528-x

Keywords

Navigation