Studia Logica 101 (6):1159-1183 (2013)
| Authors |
|
| 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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Quantifiers and Propositional Attitudes.Willard van Orman Quine - 1956 - Journal of Philosophy 53 (5):177-187.
Presupposition Projection and the Semantics of Attitude Verbs.Irene Heim - 1992 - Journal of Semantics 9 (3):183-221.
View all 10 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.
Propositional Epistemic Logics with Quantification Over Agents of Knowledge.Gennady Shtakser - 2018 - Studia Logica 106 (2):311-344.
A Cut‐Free Calculus For Dummett's LC Quantified.Giovanna Corsi - 1989 - Mathematical Logic Quarterly 35 (4):289-301.
Quantifier-Free Epistemic Term-Modal Logic with Assignment Operator.Yanjing Wang, Yu Wei & Jeremy Seligman - 2022 - Annals of Pure and Applied Logic 173 (3):103071.
Propositional Epistemic Logics with Quantification Over Agents of Knowledge (An Alternative Approach).Gennady Shtakser - 2019 - Studia Logica 107 (4):753-780.
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.
Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism.Wesley H. Holliday - 2015 - Journal of Philosophical Logic 44 (1):1-62.
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.
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 index
2013-11-09
Total views
21 ( #534,285 of 2,505,139 )
Recent downloads (6 months)
1 ( #416,587 of 2,505,139 )
2013-11-09
Total views
21 ( #534,285 of 2,505,139 )
Recent downloads (6 months)
1 ( #416,587 of 2,505,139 )
How can I increase my downloads?
Downloads
