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

Authors
Giovanna Corsi
Università degli Studi di Bologna
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
Keywords First-order epistemic logic  Multi-agent systems  Term-modal language  Indexed modalities  Transition semantics
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11225-013-9528-x
Options
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: 57,109
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 7 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.

Analytics

Added to PP index
2013-11-09

Total views
20 ( #514,229 of 2,411,479 )

Recent downloads (6 months)
2 ( #346,366 of 2,411,479 )

How can I increase my downloads?

Downloads

My notes