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.
Giovanna Corsi , Eugenio Orlandelli (2013). Free Quantified Epistemic Logics. STUDIA LOGICA, 101(6), 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.
