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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
Comparing semantics of logics for multi-agent systems.Valentin Goranko & Wojciech Jamroga - 2004 - Synthese 139 (2):241 - 280.
Roles, Rigidity and Quantification in Epistemic Logic.Wesley H. Holliday & John Perry - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer. pp. 591-629.
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.
Dynamic term-modal logic. Kooi, Barteld - unknown
Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism.Wesley H. Holliday - 2015 - Journal of Philosophical Logic 44 (1):1-62.
A logic for epistemic two-dimensional semantics.Peter Fritz - 2013 - Synthese 190 (10):1753-1770.
Some Modifications of Carnap’s Modal Logic.Vít Punčochář - 2012 - Studia Logica 100 (3):517-543.
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.
Merging Frameworks for Interaction.Johan van Benthem Jelle Gerbrandy - unknown
Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics. [REVIEW]L. Lismont - 1994 - Journal of Logic, Language and Information 3 (4):285-302.

Analytics

Added to PP
2013-11-09

Downloads
36 (#432,773)

6 months
11 (#222,787)

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 8 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.
An essay in modal logic.G. H. von Wright - 1951 - Amsterdam,: North-Holland Pub. Co..

View all 9 references / Add more references