Knowledge on Treelike Spaces

This paper presents a bimodal logic for reasoning about knowledge during knowledge acquisitions. One of the modalities represents (effort during) non-deterministic time and the other represents knowledge. The semantics of this logic are tree-like spaces which are a generalization of semantics used for modeling branching time and historical necessity. A finite system of axiom schemes is shown to be canonically complete for the formentioned spaces. A characterization of the satisfaction relation implies the small model property and decidability for this system.

[1]  K. Hofmann,et al.  A Compendium of Continuous Lattices , 1980 .

[2]  Gisèle Fischer Servi,et al.  Semantics for a Class of Intuitionistic Modal Calculi , 1980 .

[3]  H. Gadamer,et al.  Truth and Method , 1960 .

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

[5]  Joseph Y. Halpern,et al.  The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds , 1989, J. Comput. Syst. Sci..

[6]  Joseph Y. Halpern,et al.  The complexity of reasoning about knowledge and time , 1986, STOC '86.

[7]  Alberto Zanardo,et al.  A finite axiomatization of the set of strongly valid Ockhamist formulas , 1985, J. Philos. Log..

[8]  John L. Pollock,et al.  Basic modal logic , 1967, Journal of Symbolic Logic.

[9]  Konstantinos Georgatos,et al.  Knowledge Theoretic Properties of Topological Spaces , 1992, Logic at Work.

[10]  K. Mani Chandy,et al.  How processes learn , 1985, PODC '85.

[11]  B. V. Fraassen.  A Temporal Framework for Conditionals and Chance , 1980 .

[12]  Michael B. Smyth,et al.  Power Domains and Predicate Transformers: A Topological View , 1983, ICALP.

[13]  R. Goldblatt.  Logics of Time and Computation , 1987 .

[14]  S. Vickers.  Topology via Logic , 1989 .

[15]  Konstantinos Georgatos,et al.  Reasoning about Knowledge on Computation Trees , 1994, JELIA.

[16]  Lawrence S. Moss,et al.  Topological Reasoning and the Logic of Knowledge , 1996, Ann. Pure Appl. Log..

[17]  N. Malcolm.  On Knowledge and Belief , 1954 .

[18]  H. Gadamer,et al.  Truth and Method , 1960 .

[19]  D. Prowe.  Berlin , 1855, Journal of public health, and sanitary review.