Studia Logica

, Volume 101, Issue 6, pp 1159–1183 | Cite as

Free Quantified Epistemic Logics

  • Giovanna CorsiEmail author
  • Eugenio Orlandelli


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.


First-order epistemic logic Multi-agent systems Term-modal language Indexed modalities Transition semantics 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Burge T.: Belief De Re. The Journal of Philosophy 74, 338–362 (1977)CrossRefGoogle Scholar
  2. 2.
    Carlson L.: Quantified Hintikka-Style Epistemic Logic. Synthese 74, 223–262 (1998)CrossRefGoogle Scholar
  3. 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.Google Scholar
  4. 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.Google Scholar
  5. 5.
    Corsi, G., and G. Tassi, A New Approach to Epistemic Logic, forthcoming.Google Scholar
  6. 6.
    Fagin, R., J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about Knowledge, MIT Press, 1995.Google Scholar
  7. 7.
    Fitting, M.C., Modal Logic Should Say More than it Does, in Lassez, and Plokin (eds.), Computational Logic, MIT Press, 1991.Google Scholar
  8. 8.
    Fitting, M.C., and R.L. Mendelsohn, First-Order Modal logic, Kluwer, 1998.Google Scholar
  9. 9.
    Fitting M.C., Thalmann L., Voronkov A.: Term-Modal Logic. Studia Logica 69, 133–169 (2001)CrossRefGoogle Scholar
  10. 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.Google Scholar
  11. 11.
    Grove A.J.: Naming and Identity in Epistemic Logic part II: a First-Order Logic for Naming. Artificial Intelligence 74, 31–350 (1995)CrossRefGoogle Scholar
  12. 12.
    Heim I.: Presupposition Projection and the Semantics of Attitudes Verbs. Journal of Semantics 9, 183–221 (1992)CrossRefGoogle Scholar
  13. 13.
    Hendricks, V.F., K.F. Jorgensen, and S. A. Pedersen, Introduction, in Hendricks, Jorgensen, and Pedersen (eds.), Knowledge Contributors, Kluwer, 2003.Google Scholar
  14. 14.
    Hintikka, J., Knowledge and Belief. Cornell University Press, 1962.Google Scholar
  15. 15.
    Hintikka, J., A Second Generation Epistemic Logic and Its General Significance, in Hendricks, Jorgensen, and Pedersen (eds.), Knowledge Contributors, Kluwer, 2003.Google Scholar
  16. 16.
    Kaplan D.: Quantifying in. Synthese 19, 178–214 (1968)CrossRefGoogle Scholar
  17. 17.
    Lewis D.: Attitudes De Dicto and De Se. The Philosophical Review 88, 513–543 (1979)CrossRefGoogle Scholar
  18. 18.
    Meyer, J-J.Ch., and W. van der Hoek, Epistemic logic for AI and Computer Science, Cambridge University Press, 1995.Google Scholar
  19. 19.
    Quine W.V.O.: Quantifiers and Propositional Attitudes. The Journal of Philosophy 53, 177–187 (1956)CrossRefGoogle Scholar
  20. 20.
    von Wright, G.H., An Essay in Modal Logic, North-Holland, 1951.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2013

Authors and Affiliations

  1. 1.Dipartimento di Filosofia e ComunicazioneUniversità di BolognaBolognaItaly

Personalised recommendations