Beyond knowing that: a new generation of epistemic logics

Epistemic logic has become a major field of philosophical logic ever since the groundbreaking work by Hintikka [58]. Despite its various successful applications in theoretical computer science, AI, and game theory, the technical development of the field has been mainly focusing on the propositional part, i.e., the propositional modal logics of “knowing that”. However, knowledge is expressed in everyday life by using various other locutions such as “knowing whether”, “knowing what”, “knowing how” and so on (knowing-wh hereafter). Such knowledge expressions are better captured in quantified epistemic logic, as was already discussed by Hintikka [58] and his sequel works at length. This paper aims to draw the attention back again to such a fascinating but largely neglected topic. We first survey what Hintikka and others did in the literature of quantified epistemic logic, and then advocate a new quantifier-free approach to study the epistemic logics of knowing-wh, which we believe can balance expressivity and complexity, and capture the essential reasoning patterns about knowing-wh. We survey our recent line of work on the epistemic logics of ‘knowing whether”, “knowing what” and “knowing how” to demonstrate the use of this new approach.

[1]  Frank Wolter,et al.  Decidable and undecidable fragments of first-order branching temporal logics , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.

[2]  John McCarthy.  First Order Theories of Individual Concepts and Propositions. , 1979 .

[3]  Yanjing Wang,et al.  A Logic of Knowing How , 2015, LORI.

[4]  Frank Wolter,et al.  Monodic Epistemic Predicate Logic , 2000, JELIA.

[5]  Jaakko Hintikka,et al.  On Sense, Reference, and the Objects of Knowledge , 1989 .

[6]  Steven T. Kuhn.  Minimal Non-contingency Logic , 1995, Notre Dame J. Formal Log..

[7]  Frank Wolter,et al.  First Order Common Knowledge Logics , 2000, Stud Logica.

[8]  Valentin Goranko,et al.  LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE , 2016, The Review of Symbolic Logic.

[9]  Maria Aloni,et al.  Knowing-Who in Quantified Epistemic Logic , 2018 .

[10]  Yanjing Wang,et al.  Representing Imperfect Information of Procedures with Hyper Models , 2015, ICLA.

[11]  Richard L. Mendelsohn,et al.  First-Order Modal Logic , 1998 .

[12]  Jaakko Hintikka,et al.  Reasoning About Knowledge in Philosophy: The Paradigm of Epistemic Logic , 1986, TARK.

[13]  Robert C. Moore.  Reasoning About Knowledge and Action , 1977, IJCAI.

[14]  Alessio Lomuscio,et al.  First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment , 2011, Fundam. Informaticae.

[15]  W. Hoek,et al.  Dynamic Epistemic Logic , 2007 .

[16]  Andreas Herzig,et al.  Logics of knowledge and action: critical analysis and challenges , 2014, Autonomous Agents and Multi-Agent Systems.

[17]  Yanjing Wang,et al.  Knowing Your Ability , 2016 .

[18]  Mark Ryan,et al.  A Spectrum of Modes of Knowledge Sharing between Agents , 1999, ATAL.

[19]  Joseph Y. Halpern,et al.  Handbook of epistemic logic , 2015 .

[20]  Steven E. Boër,et al.  Knowing Who , 1985 .

[21]  Giovanna Corsi,et al.  A unified completeness theorem for quantified modal logics , 2002, Journal of Symbolic Logic.

[22]  Maria Aloni,et al.  Knowing whether A or B , 2013, Synthese.

[23]  J. Hintikka.  Socratic Epistemology: Explorations of Knowledge-Seeking by Questioning , 2007 .

[24]  Andreas Herzig,et al.  Using STIT Theory to Talk About Strategies , 2015, Models of Strategic Reasoning.

[25]  Bas C. van Fraassen,et al.  The Scientific Image , 1980 .

[26]  Yanjing Wang,et al.  More for free: a dynamic epistemic framework for conformant planning over transition systems , 2017, J. Log. Comput..

[27]  Yanjing Wang,et al.  Knowing Values and Public Inspection , 2016, ICLA.

[28]  J. Hintikka,et al.  Informational Independence as a Semantical Phenomenon , 1989 .

[29]  Wiebe van der Hoek,et al.  Everything is Knowable - How to Get to Know Whether a Proposition is True , 2012 .

[30]  Ivano Ciardelli,et al.  Questions in logic , 2016 .

[31]  Hans van Ditmarsch,et al.  Comments to ‘logics of public communications’ , 2007, Synthese.

[32]  Maribel Romero,et al.  On Concealed Questions , 2006 .

[33]  Wiebe van der Hoek,et al.  Some Exponential Lower Bounds on Formula-size in Modal Logic , 2014, Advances in Modal Logic.

[34]  William Jaworski,et al.  The logic of how-questions , 2007, Synthese.

[35]  G. Ryle,et al.  心的概念 = The concept of mind , 1962 .

[36]  David Chaum,et al.  The dining cryptographers problem: Unconditional sender and recipient untraceability , 1988, Journal of Cryptology.

[37]  Dov Samet,et al.  'Knowing Whether', 'Knowing That' and the Cardinality of State Spaces , 1996 .

[38]  Maria Aloni,et al.  Quantification under Conceptual Covers , 2001 .

[39]  Lloyd Humberstone,et al.  The Logic of Non-contingency , 1995, Notre Dame J. Formal Log..

[40]  Jaakko Hintikka.  What is the logic of experimental inquiry? , 2004, Synthese.

[41]  Jaakko Hintikka,et al.  Knowledge Acknowledged: Knowledge of Propositions vs. Knowledge of Objects , 1996 .

[42]  Stéphane Demri,et al.  A Completeness Proof for a Logic with an Alternative Necessity Operator , 1997, Stud Logica.

[43]  Hans van Ditmarsch,et al.  Propositional quantification in logics of contingency , 2016, J. Appl. Non Class. Logics.

[44]  An Open Problem in the Logic of Knowing How , 2022 .

[45]  Alessio Lomuscio,et al.  A Logic For Ignorance , 2004, LCMAS.

[46]  Jan A. Plaza,et al.  Logics of public communications , 2007, Synthese.

[47]  Yuan Wang,et al.  A Reversible Method to Characterize the Mass Sensitivity of a 3-Dof Mode Localized Coupled Resonator under Atmospheric Pressure , 2017 .

[48]  Yifeng Ding,et al.  Axiomatization and complexity of modal logic with knowing-what operator on model class K , 2016, ArXiv.

[49]  Jouko A. Väänänen,et al.  Dependence Logic - A New Approach to Independence Friendly Logic , 2007, London Mathematical Society student texts.

[50]  Yanjing Wang,et al.  "Knowing value'' logic as a normal modal logic , 2016, Advances in Modal Logic.

[51]  Alessio Lomuscio,et al.  Quantified epistemic logics for reasoning about knowledge in multi-agent systems , 2009, Artif. Intell..

[52]  Mamoru Kaneko,et al.  Game logic and its applications I , 1996, Stud Logica.

[53]  Richard Routley,et al.  Contingency and non-contingency bases for normal modal logics , 1966 .

[54]  Jaakko Hintikka,et al.  Systems of Visual Identification in Neuroscience: Lessons from Epistemic Logic , 2003, Philosophy of Science.

[55]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[56]  Giovanna Corsi,et al.  A New Approach to Epistemic Logic , 2014 .

[57]  Yanjing Wang,et al.  Conditionally Knowing What , 2014, Advances in Modal Logic.

[58]  Frederic Brenton Fitch,et al.  A logical analysis of some value concepts , 1963, Journal of Symbolic Logic.

[59]  Jaakko Hintikka,et al.  The Logic of Epistemology and the Epistemology of Logic: Selected Essays , 1989 .

[60]  Fahiem Bacchus,et al.  PKS: Knowledge-Based Planning with Incomplete Information and Sensing , 2004 .

[61]  Andreas Herzig,et al.  From Situation Calculus to Dynamic Epistemic Logic , 2011, J. Log. Comput..

[62]  Max J. Cresswell,et al.  Necessity and contingency , 1988, Stud Logica.

[63]  James W. Garson,et al.  Quantification in Modal Logic , 1984 .

[64]  Torben Braüner,et al.  First-order modal logic , 2007, Handbook of Modal Logic.

[65]  Yanjing Wang.  A logic of goal-directed knowing how , 2016, Synthese.

[66]  Wesley H. Holliday,et al.  Roles, Rigidity, and Quantification in Epistemic Logic , 2014, Johan van Benthem on Logic and Information Dynamics.

[67]  Floris Roelofsen,et al.  Inquisitive Semantics: A New Notion of Meaning , 2013, Lang. Linguistics Compass.

[68]  Frank Wolter,et al.  Decidable fragment of first-order temporal logics , 2000, Ann. Pure Appl. Log..

[69]  Paul Egré,et al.  QUESTION-EMBEDDING AND FACTIVITY , 2008 .

[70]  Wiebe van der Hoek,et al.  Local properties in modal logic , 2012, Artif. Intell..

[71]  Fahiem Bacchus,et al.  Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing , 2004, ICAPS.

[72]  Michael Wooldridge,et al.  Autonomous agents and multi-agent systems , 2014 .

[73]  Yanjing Wang,et al.  CONTINGENCY AND KNOWING WHETHER , 2015, The Review of Symbolic Logic.

[74]  Evgeny Zolin,et al.  Completeness and Definability in the Logic of Noncontingency , 1999, Notre Dame J. Formal Log..

[75]  Alexandru Baltag,et al.  To Know is to Know the Value of a Variable , 2016, Advances in Modal Logic.

[76]  Mads Dam,et al.  A Complete Axiomatization of Knowledge and Cryptography , 2007, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).

[77]  Alessio Lomuscio,et al.  Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results , 2012, J. Artif. Intell. Res..

[78]  Thomas Schwentick,et al.  Two-variable logic on data words , 2011, TOCL.

[79]  Jaakko Hintikka,et al.  Inquiry as Inquiry: A Logic of Scientific Discovery , 1999 .

[80]  Yanjing Wang,et al.  Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators , 2013, IJCAI.

[81]  Md. Aquil Khan,et al.  A Logic for Multiple-source Approximation Systems with Distributed Knowledge Base , 2011, J. Philos. Log..

[82]  Yanjing Wang,et al.  A New Modal Framework for Epistemic Logic , 2017, TARK.

[83]  V. Hendricks.  Knowledge and Belief: An Introduction to the Logic of the Two Notions: by Jaakko Hintikka , 2005 .

[84]  Wiebe van der Hoek,et al.  Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results , 2015, IJCAI.

[85]  Hans van Ditmarsch,et al.  Neighborhood Contingency Logic , 2015, ICLA.

[86]  Giovanna Corsi,et al.  Free Quantified Epistemic Logics , 2013, Stud Logica.

[87]  Claudio Pizzi,et al.  Necessity and Relative Contingency , 2007, Stud Logica.

[88]  Kit Fine,et al.  Propositional quantifiers in modal logic1 , 2008 .

[89]  Ian M. Hodkinson,et al.  Monodic Packed Fragment with Equality is Decidable , 2002, Stud Logica.

[90]  Floris Roelofsen,et al.  Interpreting concealed questions , 2011 .

[91]  G. P. Henderson,et al.  An Essay in Modal Logic. , 1953 .

[92]  Wojciech Jamroga,et al.  Knowledge and Ability , 2015 .

[93]  Yanjing Wang,et al.  Reasoning About Agent Types and the Hardest Logic Puzzle Ever , 2012, Minds and Machines.

[94]  Yanjing Wang,et al.  Achieving While Maintaining: - A Logic of Knowing How with Intermediate Constraints , 2016, ICLA.

[95]  Evgeni E. Zolin.  Infinitary Expressibility of Necessity in Terms of Contingency , 2013 .

[96]  J. Hintikka,et al.  Semantics and Pragmatics For Why-Questions , 1995 .

[97]  Jaakko Hintikka,et al.  A Second Generation Epistemic Logic and its General Significance , 2003 .

[98]  Xiwen Ma,et al.  W-JS: A Modal Logic of Knowledge , 1983, IJCAI.

[99]  Floris Roelofsen,et al.  Inquisitive dynamic epistemic logic , 2014, Synthese.

[100]  Emiliano Lorini,et al.  A Poor Man's Epistemic Logic Based on Propositional Assignment and Higher-Order Observation , 2015, LORI.

[101]  Wolfgang Lenzen,et al.  Recent work in epistemic logic , 1978 .

[102]  Wiebe van der Hoek,et al.  A Semantical Analysis of Second-Order Propositional Modal Logic , 2016, AAAI.

[103]  R. L. Goodstein,et al.  An Essay in Modal Logic , 1953, The Mathematical Gazette.

[104]  Mikolaj Bojanczyk,et al.  Modelling Infinite Structures with Atoms , 2013, WoLLIC.

[105]  Ivano Ciardelli,et al.  Modalities in the Realm of Questions: Axiomatizing Inquisitive Epistemic Logic , 2014, Advances in Modal Logic.

[106]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.