Studia Logica 101 (6):1159-1183 (2013)

Giovanna Corsi
Università degli Studi di Bologna
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
Keywords First-order epistemic logic  Multi-agent systems  Term-modal language  Indexed modalities  Transition semantics
Categories (categorize this paper)
DOI 10.1007/s11225-013-9528-x
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,979
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Attitudes de Dicto and de Se.David Lewis - 1979 - Philosophical Review 88 (4):513-543.
Quantifiers and Propositional Attitudes.Willard van Orman Quine - 1956 - Journal of Philosophy 53 (5):177-187.
Quantifying In.David Kaplan - 1968 - Synthese 19 (1-2):178-214.
Belief D E Re.Tyler Burge - 1977 - Journal of Philosophy 74 (6):338-362.

View all 10 references / Add more references

Citations of this work BETA

Doxastic Logic: A New Approach.Daniel Rönnedal - 2018 - Journal of Applied Non-Classical Logics 28 (4):313-347.
A Cut‐Free Calculus For Dummett's LC Quantified.Giovanna Corsi - 1989 - Mathematical Logic Quarterly 35 (4):289-301.

Add more citations

Similar books and articles

Term-Modal Logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
Some Computationalconstraints In Epistemic Logic.Timothy Williamson - 2004 - In S. Rahman (ed.), Logic, Epistemology, and the Unity of Science. Dordrecht: Kluwer Academic Publishers. pp. 437--456.
First Order Common Knowledge Logics.Frank Wolter - 2000 - Studia Logica 65 (2):249-271.
First-Order Classical Modal Logic.Horacio Arló-Costa & Eric Pacuit - 2006 - Studia Logica 84 (2):171 - 210.
Quantificational Modal Logic with Sequential Kripke Semantics.Stefano Borgo - 2005 - Journal of Applied Non-Classical Logics 15 (2):137-188.


Added to PP index

Total views
21 ( #534,285 of 2,505,139 )

Recent downloads (6 months)
1 ( #416,587 of 2,505,139 )

How can I increase my downloads?


My notes