Linked bibliography for the SEP article "Epistemic Logic" by Rasmus Rendsvig, John Symons and Yanjing Wang

This is an automatically generated and experimental page

If everything goes well, this page should display the bibliography of the aforementioned article as it appears in the Stanford Encyclopedia of Philosophy, but with links added to PhilPapers records and Google Scholar for your convenience. Some bibliographies are not going to be represented correctly or fully up to date. In general, bibliographies of recent works are going to be much better linked than bibliographies of primary literature and older works. Entries with PhilPapers records have links on their titles. A green link indicates that the item is available online at least partially.

This experiment has been authorized by the editors of the Stanford Encyclopedia of Philosophy. The original article and bibliography can be found here.

Aloni, Maria, 2001, Quantification Under Conceptual Covers, Ph.D. Thesis, University of Amsterdam. [Aloni 2001 available online] (Scholar)
–––, 2018, “Knowing-Who in Quantified Epistemic Logic”, in van Ditmarsch and Sandu 2018: 109–129. doi:10.1007/978-3-319-62864-6_4">10.1007/978-3-319-62864-6_4 (Scholar)
Areces, Carlos, Raul Fervari, Andrés R. Saravia, and Fernando R. Velázquez-Quesada, 2023, “First Steps in Updating Knowing How”, in DaLí 2022: Dynamic Logic. New Trends and Applications, Carlos Areces and Diana Costa (eds.), (Lecture Notes in Computer Science 13780), Cham: Springer International Publishing, 1–16. doi:10.1007/978-3-031-26622-5_1 (Scholar)
Arló-Costa, Horacio, Vincent F. Hendricks, and Johan van Benthem (eds.), 2016, Readings in Formal Epistemology, Cham: Springer International Publishing. doi:10.1007/978-3-319-20451-2 (Scholar)
Artemov, Sergei, 2008, “The Logic of Justification”, The Review of Symbolic Logic, 1(4): 477–513. doi:10.1017/s1755020308090060 (Scholar)
Aucher, Guillaume, 2014, “Principles of Knowledge, Belief and Conditional Belief”, in Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics: Dialogue, Rationality, and Formalism, Manuel Rebuschi, Martine Batt, Gerhard Heinzmann, Franck Lihoreau, Michel Musiol, and Alain Trognon (eds.), Cham: Springer International Publishing, 97–134. doi:10.1007/978-3-319-03044-9_5 (Scholar)
Aumann, Robert J., 1976, “Agreeing to Disagree”, The Annals of Statistics, 4(6): 1236–1239. Reprinted in Arló-Costa, Hendricks, and van Benthem 2016: 859–862. doi:10.1214/aos/1176343654, doi:10.1007/978-3-319-20451-2_40 (Scholar)
Baltag, Alexandru, 2016, “To Know Is to Know the Value of a Variable”, in Advances in Modal Logic (Volume 11), Lev Beklemishev, Stéphane Demri, and András Máté (eds.), Rickmansworth, UK: College Publications, 135–155. [Baltag 2016 available online] (Scholar)
Baltag, Alexandru, Nick Bezhanishvili, Aybüke Özgün, and Sonja Smets, 2019, “A Topological Approach to Full Belief”, Journal of Philosophical Logic, 48(2): 205–244. doi:10.1007/s10992-018-9463-4 (Scholar)
Baltag, Alexandru, Rachel Boddy, and Sonja Smets, 2018, “Group Knowledge in Interrogative Epistemology”, in van Ditmarsch and Sandu 2018: 131–164. doi:10.1007/978-3-319-62864-6_5 (Scholar)
Baltag, Alexandru and Sonja Smets, 2008, “A Qualitative Theory of Dynamic Interactive Belief Revision”, in Logic and the Foundations of Game and Decision Theory (LOFT 7), Texts in Logic and Games: Volume 3, G. Bonanno, W. van der Hoek, and M. Wooldridge (eds.) , Amsterdam: Amsterdam University Press, 9–58. (Scholar)
Belardinelli, Francesco and Alessio Lomuscio, 2011, “First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment”, Fundamenta Informaticae, 106(2–4): 175–190. (Scholar)
van Benthem, Johan, 2006, “Epistemic Logic and Epistemology: The State of Their Affairs”, Philosophical Studies, 128(1): 49–76. doi:10.1007/s11098-005-4052-0 (Scholar)
–––, 2011, Logical Dynamics of Information and Interaction, Cambridge: Cambridge University Press. doi:10.1017/cbo9780511974533 (Scholar)
van Benthem, Johan, David Fernández-Duque, and Eric Pacuit, 2014, “Evidence and Plausibility in Neighborhood Structures”, Annals of Pure and Applied Logic, 165(1): 106–133. doi:10.1016/j.apal.2013.07.007 (Scholar)
Blackburn, Patrick, Maarten de Rijke, and Yde Venema, 2001, Modal Logic, Cambridge: Cambridge University Press. doi:10.1017/cbo9781107050884 (Scholar)
Boh, Ivan, 1993, Epistemic Logic in the Later Middle Ages, (Topics in Medieval Philosophy), London/New York: Routledge. (Scholar)
Braüner, Torben and Silvio Ghilardi, 2007, “First-Order Modal Logic”, in Handbook of Modal Logic, Patrick Blackburn, Johan van Benthem, and Frank Wolter (eds.), (Studies in Logic and Practical Reasoning 3), Amsterdam, Boston: Elsevier, 549–620. doi:10.1016/s1570-2464(07)80012-7 (Scholar)
Chellas, Brian F., 1980, Modal Logic: An Introduction, Cambridge: Cambridge University Press. (Scholar)
Chisholm, Roderick M., 1963, “The Logic of Knowing”, The Journal of Philosophy, 60(25): 773–795. doi:10.2307/2022834 (Scholar)
Ciardelli, Ivano, 2014, “Modalities in the Realm of Questions: Axiomatizing Inquisitive Epistemic Logic”, in Advances in Modal Logic (Volume 10), Rajeev Goré, Barteld Kooi, and Agi Kurucz (eds.), Rickmansworth, UK: College Publications, 94–113. [Ciardelli 2014 available online] (Scholar)
–––, 2016, Questions in Logic, Ph.D. Thesis, University of Amsterdam. (Scholar)
–––, 2023, Inquisitive Logic: Consequence and Inference in the Realm of Questions, (Trends in Logic 60), Cham: Springer International Publishing. doi:10.1007/978-3-031-09706-5 (Scholar)
Ciardelli, Ivano and Floris Roelofsen, 2011, “Inquisitive Logic”, Journal of Philosophical Logic, 40(1): 55–94. doi:10.1007/s10992-010-9142-6 (Scholar)
–––, 2015, “Inquisitive Dynamic Epistemic Logic”, Synthese, 192(6): 1643–1687. doi:10.1007/s11229-014-0404-7 (Scholar)
Cohen, Michael, Wen Tang, and Yanjing Wang, 2021, “De Re Updates”, in Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2021), Joseph Halpern and Andrés Perea (eds.), Electronic Proceedings in Theoretical Computer Science 335, 103–117. doi:10.4204/eptcs.335.9 (Scholar)
Cohen, Mika and Mads Dam, 2007, “A Complete Axiomatization of Knowledge and Cryptography”, in 22nd Annual IEEE Symposium on Logic in Computer Science (LiCS 2007), IEEE, 77–88. doi:10.1109/lics.2007.4 (Scholar)
Corsi, Giovanna and Eugenio Orlandelli, 2013, “Free Quantified Epistemic Logics”, Studia Logica, 101(6): 1159–1183. doi:10.1007/s11225-013-9528-x (Scholar)
van Ditmarsch, Hans, Joseph Y. Halpern, Wiebe van der Hoek, and Barteld Kooi (eds.), 2015, Handbook of Epistemic Logic, London: College Publications. (Scholar)
van Ditmarsch, Hans, Wiebe van der Hoek, and Barteld Kooi, 2007, Dynamic Epistemic Logic, Dordrecht: Springer Netherlands. doi:10.1007/978-1-4020-5839-4 (Scholar)
van Ditmarsch, Hans and Gabriel Sandu (eds.), 2018, Jaakko Hintikka on Knowledge and Game-Theoretical Semantics, (Outstanding Contributions to Logic, 12), Cham: Springer International Publishing. doi:10.1007/978-3-319-62864-6 (Scholar)
van Eijck, Jan, Malvin Gattinger, and Yanjing Wang, 2017, “Knowing Values and Public Inspection”, in ICLA 2017: Logic and Its Applications (Lecture Notes in Computer Science: Volume 10119), Sujata Ghosh and Sanjiva Prasad (eds.), Berlin,Heidelberg: Springer, 77–90. doi:10.1007/978-3-662-54069-5_7 (Scholar)
Epstein, Sophia and Pavel Naumov, 2021, “Epistemic Logic of Know-Who”, Proceedings of the AAAI Conference on Artificial Intelligence, 35(13): 11479–11486. doi:10.1609/aaai.v35i13.17367 (Scholar)
Fagin, Ronald and Joseph Y. Halpern, 1987, “Belief, Awareness, and Limited Reasoning”, Artificial Intelligence, 34(1): 39–76. doi:10.1016/0004-3702(87)90003-8 (Scholar)
Fagin, Ronald, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi, 1995, Reasoning About Knowledge, Cambridge, MA: The MIT Press. (Scholar)
Fan, Jie, 2019, “Bimodal Logics with Contingency and Accident”, Journal of Philosophical Logic, 48(2): 425–445. doi:10.1007/s10992-018-9470-5 (Scholar)
–––, 2021, “A Logic for Disjunctive Ignorance”, Journal of Philosophical Logic, 50(6): 1293–1312. doi:10.1007/s10992-021-09599-4 (Scholar)
Fan, Jie, Yanjing Wang, and Hans van Ditmarsch, 2015, “Contingency and Knowing Whether”, The Review of Symbolic Logic, 8(1): 75–107. doi:10.1017/s1755020314000343 (Scholar)
Fervari, Raul, Andreas Herzig, Yanjun Li, and Yanjing Wang, 2017, “Strategically Knowing How”, in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence IJCAI 2017), Carles Sierra (ed.), 1031–1038. doi:10.24963/ijcai.2017/143 (Scholar)
Fine, Kit, 2018, “Ignorance of Ignorance”, Synthese, 195(9): 4031–4045. doi:10.1007/s11229-017-1406-z (Scholar)
Fitting, Melvin, Lars Thalmann, and Andrei Voronkov, 2001, “Term-Modal Logics”, Studia Logica, 69(1): 133–169. doi:10.1023/a:1013842612702 (Scholar)
Gochet, Paul and Pascal Gribomont, 2006, “Epistemic Logic”, in Dov M. Gabbay and John Woods (eds.), Handbook of the History of Logic 7: Logic and the Modalities in the Twentieth Century (Studies in Logic and Practical Reasoning), Amsterdam: North-Holland, 99–105. (Scholar)
Groenendijk, Joroen and Martin Stokhof, 1982, “Semantic Analysis of WH-Complements”, Linguistics and Philosophy, 5(2): 175–233. doi:10.1007/bf00351052 (Scholar)
Grove, Adam J., 1995, “Naming and Identity in Epistemic Logic Part II: A First-Order Logic for Naming”, Artificial Intelligence, 74(2): 311–350. doi:10.1016/0004-3702(95)98593-d (Scholar)
Gu, Tao and Yanjing Wang, 2016, “‘Knowing Value’ Logic as a Normal Modal Logic”, in Advances in Modal Logic, (Volume 11), Lev Beklemishev, Stéphane Demri, and András Máté (eds.), Rickmansworth, UK: College Publications, 362–381. [Gu and Wang 2016 available online] (Scholar)
Halpern, Joseph Y., 1996, “Should Knowledge Entail Belief?”, Journal of Philosophical Logic, 25(5): 483–494. doi:10.1007/bf00257382 (Scholar)
Halpern, Joseph Y., Dov Samet, and Ella Segev, 2009, “Defining Knowledge in Terms of Belief: The Modal Logic Perspective”, The Review of Symbolic Logic, 2(3): 469–487. doi:10.1017/s1755020309990141 (Scholar)
Halpern, Joseph Y. and Riccardo Pucella, 2011, “Dealing with Logical Omniscience: Expressiveness and Pragmatics”, Artificial Intelligence, 175(1): 220–235. doi:10.1016/j.artint.2010.04.009 (Scholar)
Halpern, Joseph Y. and Yoram Moses, 1984, “Knowledge and Common Knowledge in a Distributed Environment”, in Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing (PODC ’84), Vancouver: ACM Press, 50–61. doi:10.1145/800222.806735 (Scholar)
Harrah, David, 2002, “The Logic of Questions”, in Handbook of Philosophical Logic (Volume 8), Dov M. Gabbay and F. Guenthner (eds.), second edition, Dordrecht: Springer Netherlands, 1–60. doi:10.1007/978-94-010-0387-2_1 (Scholar)
Hendricks, Vincent F., 2005, Mainstream and Formal Epistemology, Cambridge: Cambridge University Press. doi:10.1017/cbo9780511616150 (Scholar)
Hendricks, Vincent F. and Rasmus K. Rendsvig, 2018, “Hintikka’s Knowledge and Belief in Flux”, in van Ditmarsch and Sandu 2018: 317–337. doi:10.1007/978-3-319-62864-6_13 (Scholar)
Hendricks, Vincent F. and John Symons, 2006, “Where’s the Bridge? Epistemology and Epistemic Logic”, Philosophical Studies, 128(1): 137–167. doi:10.1007/s11098-005-4060-0 (Scholar)
Herzig, Andreas, 2015, “Logics of Knowledge and Action: Critical Analysis and Challenges”, Autonomous Agents and Multi-Agent Systems, 29(5): 719–753. doi:10.1007/s10458-014-9267-z (Scholar)
Herzig, Andreas and Elise Perrotin, 2020, “On the Axiomatisation of Common Knowledge”, in Advances in Modal Logic (Volume 13), Nicola Olivetti, Rineke Verbrugge, Sara Negri, and Gabriel Sandu (eds.), Rickmansworth, UK: College Publications, 309–328. [Herzig and Perrotin 2020 available online] (Scholar)
Hintikka, Jaakko, 1962 [2005], Knowledge and Belief: An Introduction to the Logic of the Two Notions (Texts in Philosophy: 1), second edition, Vincent F. Hendriks and John Symons (eds.), London: College Publications. (Scholar)
–––, 1969, “Semantics for Propositional Attitudes”, in Philosophical Logic, J. W. Davis, D. J. Hockney, and W. K. Wilson (eds.), Dordrecht: Springer Netherlands, 21–45. doi:10.1007/978-94-010-9614-0_2 (Scholar)
–––, 1978, “Impossible Possible Worlds Vindicated”, in Game-Theoretical Semantics, Esa Saarinen (ed.) (SLAP 5), Dordrecht: Springer Netherlands, 367–379. doi:10.1007/978-1-4020-4108-2_13 (Scholar)
–––, 2003, “A Second Generation Epistemic Logic and Its General Significance”, in Knowledge Contributors, Vincent F. Hendricks, Klaus Frovin Jørgensen, and Stig Andur Pedersen (eds.), Dordrecht: Springer Netherlands, 33–55. doi:10.1007/978-94-007-1001-6_3 (Scholar)
–––, 2007, “Epistemology without Knowledge and without Belief”, in Socratic Epistemology: Explorations of Knowledge-Seeking by Questioning, Cambridge: Cambridge University Press, 11–37. doi:10.1017/cbo9780511619298.002 (Scholar)
Hintikka, Jaakko and John Symons, 2003, “Systems of Visual Identification in Neuroscience: Lessons from Epistemic Logic”, Philosophy of Science, 70(1): 89–104. doi:10.1086/367871 (Scholar)
Hocutt, Max O., 1972, “Is Epistemic Logic Possible?”, Notre Dame Journal of Formal Logic, 13(4): 433–453. doi:10.1305/ndjfl/1093890705 (Scholar)
Hodkinson, Ian, Frank Wolter, and Michael Zakharyaschev, 2000, “Decidable Fragments of First-Order Temporal Logics”, Annals of Pure and Applied Logic, 106(1–3): 85–134. doi:10.1016/s0168-0072(00)00018-x (Scholar)
van der Hoek, Wiebe, 1993, “Systems for Knowledge and Belief”, Journal of Logic and Computation, 3(2): 173–195. doi:10.1093/logcom/3.2.173 (Scholar)
van der Hoek, Wiebe and Alessio Lomuscio, 2004, “A Logic for Ignorance”, in DALT 2003: Declarative Agent Languages and Technologies (Lecture Notes in Computer Science 2990), João Leite, Andrea Omicini, Leon Sterling, and Paolo Torroni (eds.), Berlin/Heidelberg: Springer, 97–108. doi:10.1007/978-3-540-25932-9_6 (Scholar)
Holliday, Wesley H., 2018, “Epistemic Logic and Epistemology”, in Introduction to Formal Philosophy, Sven Ove Hansson and Vincent F. Hendricks (eds.), Cham: Springer International Publishing, 351–369. doi:10.1007/978-3-319-77434-3_17 (Scholar)
Holliday, Wesley H. and John Perry, 2014, “Roles, Rigidity, and Quantification in Epistemic Logic”, in Johan van Benthem on Logic and Information Dynamics (Outstanding Contributions to Logic 5), Alexandru Baltag and Sonja Smets (eds.), Cham: Springer International Publishing, 591–629. doi:10.1007/978-3-319-06025-5_22 (Scholar)
Jago, Mark, 2007, “Hintikka and Cresswell on Logical Omniscience”, Logic and Logical Philosophy, 15(4): 325–354. doi:10.12775/llp.2006.019 (Scholar)
–––, 2014, The Impossible: An Essay on Hyperintensionality, Oxford: Oxford University Press. doi:10.1093/acprof:oso/9780198709008.001.0001 (Scholar)
Jamroga, Wojciech and Thomas Ågotnes, 2007, “Constructive Knowledge: What Agents Can Achieve under Imperfect Information”, Journal of Applied Non-Classical Logics, 17(4): 423–475. doi:10.3166/jancl.17.423-475 (Scholar)
Jamroga, Wojciech and Wiebe van der Hoek, 2004, “Agents That Know How to Play”, Fundamenta Informaticae, 63(2–3): 185–219. (Scholar)
Jiang, Junli and Pavel Naumov, 2022, “Data-Informed Knowledge and Strategies”, Artificial Intelligence, 309: article 103727. doi:10.1016/j.artint.2022.103727 (Scholar)
Kaneko, Mamoru and Takashi Nagashima, 1996, “Game Logic and Its Applications I”, Studia Logica, 57(2–3): 325–354. doi:10.1007/bf00370838 (Scholar)
Knuuttila, Simo, 1993, Modalities in Medieval Philosophy, (Topics in Medieval Philosophy), New York: Routledge. (Scholar)
Kooi, Barteld P., 2007, “Dynamic Term-Modal Logic”, in A Meeting of the Minds, Proceedings of the Workshop on Logic, Rationality and Interaction (LORI-I), Johan van Benthem, Shier Ju, and Frank Veltman (eds.), London: College Publications, 173–185. (Scholar)
Kraus, Sarit and Daniel Lehmann, 1986, “Knowledge, Belief and Time”, in Automata, Languages and Programming, Laurent Kott (ed.), Berlin, Heidelberg: Springer Berlin Heidelberg, 186–195. (Scholar)
Kutschera, Franz von, 1976, Einführung in Die Intensionale Semantik, (De Gruyter Studienbuch: Grundlagen Der Kommunikation), Berlin/New York: De Gruyter. (Scholar)
Lehmann, Daniel, 1984, “Knowledge, Common Knowledge and Related Puzzles (Extended Summary)”, Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing (PODC ’84), 62–67. doi:10.1145/800222.806736 (Scholar)
Lenzen, Wolfgang, 1978, Recent Work in Epistemic Logic, (Acta Philosophica Fennica, 30), Amsterdam: North Holland Publishing Company. (Scholar)
–––, 1980, Glauben, Wissen Und Wahrscheinlichkeit: Systeme Der Epistemischen Logik, (Library of Exact Philosophy, 12), Wien: Springer. (Scholar)
Lewis, David K., 1969, Convention: A Philosophical Study, Cambridge, MA: Harvard University Press. (Scholar)
Li, Yanjun and Yanjing Wang, 2021a, “Knowing How to Plan”, in Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2021), Joseph Halpern and Andrés Perea (eds.), Electronic Proceedings in Theoretical Computer Science 335, 233–247. doi:10.4204/eptcs.335.22 (Scholar)
–––, 2021b, “Planning-Based Knowing How: A Unified Approach”, Artificial Intelligence, 296: article 103487. doi:10.1016/j.artint.2021.103487 (Scholar)
Liu, Mo, Anantha Padmanabha, R. Ramanujam, and Yanjing Wang, 2023, “Are Bundles Good Deals for First-Order Modal Logic?”, Information and Computation, 293: article 105062. doi:10.1016/j.ic.2023.105062 (Scholar)
Meyer, John-Jules Ch, 2001, “Epistemic Logic”, in The Blackwell Guide to Philosophical Logic, Lou Goble (ed.), Oxford: John Wiley & Sons, 183–202. (Scholar)
Meyer, John-Jules Ch. and Wiebe van der Hoek, 1995, Epistemic Logic for AI and Computer Science, (Cambridge Tracts in Theoretical Computer Science, 41), Cambridge: Cambridge University Press. (Scholar)
Ma Xiwen and Guo Weide, 1983, “W-JS: A Modal Logic of Knowledge”, in Proceedings of the Eighth International Joint Conference on Artificial Intelligence (IJCAI-83), Volume 1: 398–401. [Ma and Guo 1983 available online] (Scholar)
Maubert, Bastien, Aniello Murano, Sophie Pinchinat, Francois Schwarzentruber, and Silvia Stranieri, 2020, “Dynamic Epistemic Logic Games with Epistemic Temporal Goals”, in ECAI 2020 (Frontiers in Artificial Intelligence and Applications 325), Amsterdam: IOS Press, 155–162. [Maubert, Murano et al. 2020 available online] (Scholar)
Maubert, Bastien, Sophie Pinchinat, Francois Schwarzentruber, and Silvia Stranieri, 2020, “Concurrent Games in Dynamic Epistemic Logic”, in Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI 2020), Christian Bessiere (ed.), 1877–1883. doi:10.24963/ijcai.2020/260 (Scholar)
Naumov, Pavel and Jia Tao, 2017, “Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract)”, in Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Jérôme Lang (ed.), Electronic Proceedings in Theoretical Computer Science 251, 441–453. doi:10.4204/eptcs.251.32 (Scholar)
–––, 2018, “Together We Know How to Achieve: An Epistemic Logic of Know-How”, Artificial Intelligence, 262: 279–300. doi:10.1016/j.artint.2018.06.007 (Scholar)
–––, 2019, “Knowing-How under Uncertainty”, Artificial Intelligence, 276: 41–56. doi:10.1016/j.artint.2019.06.007 (Scholar)
–––, 2020, “An Epistemic Logic of Blameworthiness”, Artificial Intelligence, 283: article 103269. doi:10.1016/j.artint.2020.103269 (Scholar)
Occhipinti Liberman, Andrés, Andreas Achen, and Rasmus Kræmmer Rendsvig, 2020, “Dynamic Term-Modal Logics for First-Order Epistemic Planning”, Artificial Intelligence, 286: article 103305. doi:10.1016/j.artint.2020.103305 (Scholar)
Occhipinti Liberman, Andrés and Rasmus K. Rendsvig, 2022, “Reasoning about Epistemic Social Network Dynamics Using Dynamic Term-Modal Logic”, Journal of Logic and Computation, 32(6): 1067–1087. doi:10.1093/logcom/exac019 (Scholar)
Orlandelli, Eugenio and Giovanna Corsi, 2018, “Decidable Term-Modal Logics”, in Multi-Agent Systems and Agreement Technologies: 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017 (Lecture Notes in Computer Science 10767), Francesco Belardinelli and Estefanía Argente (eds.), Cham: Springer International Publishing, 147–162. doi:10.1007/978-3-030-01713-2_11 (Scholar)
Padmanabha, Anantha and R. Ramanujam, 2019a, “The Monodic Fragment of Propositional Term Modal Logic”, Studia Logica, 107(3): 533–557. doi:10.1007/s11225-018-9784-x (Scholar)
–––, 2019b, “Two Variable Fragment of Term Modal Logic”. in 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019), Peter Rossmanith, Pinar Heggernes, and Joost-Pieter Katoen (eds.), Leibniz International Proceedings in Informatics 138, article 30. doi:10.4230/lipics.mfcs.2019.30 (Scholar)
Pavese, Carlotta, 2021 [2022], “Knowledge How”, The Stanford Encyclopedia of Philosophy (Fall 2022 Edition), Edward N. Zalta and Uri Nodelman (eds.), URL = <https://plato.stanford.edu/archives/fall2022/entries/knowledge-how/>. (Scholar)
Plaza, Jan A., 1989, “Logics of Public Communications”, in Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems: Poster Session Program, M. L. Emrich, S. Pfeifer, M. Hadzikadic, and Z. W. Ras (eds.), Oak Ridge National Laboratory, 201–216; reprinted, 2007, “Logics of Public Communications”, Synthese, 158(2): 165–179. doi:10.1007/s11229-007-9168-7 (Scholar)
Rantala, Veikko, 1975, “Urn Models: A New Kind of Non-Standard Model for First-Order Logic”, Journal of Philosophical Logic, 4(4): 455–474. doi:10.1007/bf00558760 (Scholar)
Rendsvig, Rasmus K., 2012, “Modeling Semantic Competence: A Critical Review of Frege’s Puzzle about Identity”, in New Directions in Logic, Language and Computation: ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers (Lecture Notes in Computer Science 7415), Daniel Lassiter and Marija Slavkovik (eds.), Berlin/Heidelberg: Springer, 140–157. doi:10.1007/978-3-642-31467-4_10 (Scholar)
Schipper, Burkhard C., 2015, “Awareness”, in van Ditmarsch et al. 2015: 77–146. (Scholar)
Stalnaker, Robert, 2006, “On Logics of Knowledge and Belief”, Philosophical Studies, 128(1): 169–199. doi:10.1007/s11098-005-4062-y (Scholar)
Stanley, Jason and Timothy Willlamson, 2001, “Knowing How”, Journal of Philosophy, 98(8): 411–444. doi:10.2307/2678403 (Scholar)
Sturm, Holger, Frank Wolter, and Michael Zakharyaschev, 2000, “Monodic Epistemic Predicate Logic”, in Logics in Artificial Intelligence: European Workshop JELIA 2000 (Lecture Notes in Computer Science 1919), Manuel Ojeda-Aciego, Inma P. De Guzmán, Gerhard Brewka, and Luís Moniz Pereira (eds.), Berlin/Heidelberg: Springer, 329–344. doi:10.1007/3-540-40006-0_23 (Scholar)
Su, Xingchi, 2017, “Distributed Knowing Whether (Extended Abstract)”, in LORI 2017: Logic, Rationality, and Interaction (Lecture Notes in Computer Science 10455), Alexandru Baltag, Jeremy Seligman, and Tomoyuki Yamada (eds.), Berlin, Heidelberg: Springer, 653–657. doi:10.1007/978-3-662-55665-8_47 (Scholar)
Velazquez-Quesada Fernando Raymundo, 2011, “Small Steps in Dynamics of Information”, Ph.D. Thesis, Institute for Logic, Language and Computation, University of Amsterdam. (Scholar)
Voorbraak, Franciscus Petrus Johannes Maria, 1993, “As Far as I Know: Epistemic Logic and Uncertainty”, Ph.D. Thesis, Department of Philosophy, Utrecht University. (Scholar)
Wang, Haoyu, Yanjing Wang, and Yunsong Wang, 2022, “Inquisitive Logic as an Epistemic Logic of Knowing How”, Annals of Pure and Applied Logic, 173(10): article 103145. doi:10.1016/j.apal.2022.103145 (Scholar)
Wang, Yanjing, 2017, “A New Modal Framework for Epistemic Logic”, in Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Jérôme Lang (ed.), Electronic Proceedings in Theoretical Computer Science 251, 515–534. doi:10.4204/eptcs.251.38 (Scholar)
–––, 2018a, “A Logic of Goal-Directed Knowing How”, Synthese, 195(10): 4419–4439. doi:10.1007/s11229-016-1272-0 (Scholar)
–––, 2018b, “Beyond Knowing That: A New Generation of Epistemic Logics”, in van Ditmarsch and Sandu 2018: 499–533. doi:10.1007/978-3-319-62864-6_21 (Scholar)
Wang, Yanjing and Jie Fan, 2013, “Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators”, in Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2013), Francesca Rossi (ed.), 1147–1154. [Wang and Fan 2013 available online] (Scholar)
Wang, Yanjing, Yu Wei, and Jeremy Seligman, 2022, “Quantifier-Free Epistemic Term-Modal Logic with Assignment Operator”, Annals of Pure and Applied Logic, 173(3): article 103071. doi:10.1016/j.apal.2021.103071 (Scholar)
Williamson, Timothy, 2000, Knowledge and Its Limits, Oxford: Oxford University Press. doi:10.1093/019925656x.001.0001 (Scholar)
Wright, Georg Henrik von, 1951, An Essay in Modal Logic, (Studies in Logic and the Foundations of Mathematics), Amsterdam: North-Holland Publishing Company. (Scholar)
Xiang, Yimei, 2016, Interpreting Questions with Non-Exhaustive Answers, Ph.D. Thesis, Harvard University. (Scholar)
Xu, Chao, Yanjing Wang, and Thomas Studer, 2021, “A Logic of Knowing Why”, Synthese, 198(2): 1259–1285. doi:10.1007/s11229-019-02104-0 (Scholar)
Yang, Yuanzhe, 2023, “Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract)”, in Proceedings Nineteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023), Rineke Verbrugge (ed.), Electronic Proceedings in Theoretical Computer Science 379, 527–544. doi:10.4204/eptcs.379.40 (Scholar)

Generated Mon Sep 16 08:54:52 2024

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...