Free Quantified Epistemic Logics

&
Studia Logica 101 (6):1159-1183 (2013)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1007/s11225-013-9528-x

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,375

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Propositional Epistemic Logics with Quantification Over Agents of Knowledge.Gennady Shtakser - 2018 - Studia Logica 106 (2):311-344.
Compositional Natural Language Semantics using Independence Friendly Logic or Dependence Logic.Theo M. V. Janssen - 2013 - Studia Logica 101 (2):453-466.
Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case.Marcelo E. Coniglio, Luis Fariñasdelcerro & Newton Marques Peron - 2022 - Logic Journal of the IGPL 30 (5):695-727.
Justifications for common knowledge.Samuel Bucheli, Roman Kuznets & Thomas Studer - 2011 - Journal of Applied Non-Classical Logics 21 (1):35-60.
Conceivability and De Re Modal Knowledge.Sonia Roca-Royes - 2011 - Noûs 45 (1):22-49.
The De re–De dicto Distinction.Irene Binini - 2022 - Vivarium 60 (2-3):162-191.
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
Everyone Knows That Someone Knows: Quantifiers Over Epistemic Agents.Pavel Naumov & Jia Tao - 2019 - Review of Symbolic Logic 12 (2):255-270.
Intricate Axioms as Interaction Axioms.Guillaume Aucher - 2015 - Studia Logica 103 (5):1035-1062.
The elimination of de re formulas.Michael Kaminski - 1997 - Journal of Philosophical Logic 26 (4):411-422.

Analytics

Added to PP
2013-11-09

Downloads
47 (#520,966)

6 months
2 (#1,367,473)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Eugenio Orlandelli
University of Bologna
Giovanna Corsi
Università degli Studi di Bologna

Citations of this work

Epistemic logic.Vincent Hendricks - 2008 - Stanford Encyclopedia of Philosophy.
A Cut‐Free Calculus For Dummett's LC Quantified.Giovanna Corsi - 1989 - Mathematical Logic Quarterly 35 (4):289-301.

View all 9 citations / Add more citations

References found in this work

Attitudes de dicto and de se.David Lewis - 1979 - Philosophical Review 88 (4):513-543.
Quantifiers and propositional attitudes.Willard van Orman Quine - 1955 - Journal of Philosophy 53 (5):177-187.
Quantifying in.David Kaplan - 1968 - Synthese 19 (1-2):178-214.
Belief De Re.Tyler Burge - 1977 - Journal of Philosophy 74 (6):338-362.
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.

View all 8 references / Add more references