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.
Free Quantified Epistemic Logics / Giovanna Corsi ; Eugenio Orlandelli. - In: STUDIA LOGICA. - ISSN 0039-3215. - STAMPA. - 101:6(2013), pp. 1159-1183. [10.1007/s11225-013-9528-x]
Free Quantified Epistemic Logics
CORSI, GIOVANNA;ORLANDELLI, EUGENIO
2013
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.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.