A Hybrid Logic of Knowledge Supporting Topological Reasoning

We consider a certain, in a way hybrid extension of a system called topologic, which has been designed for reasoning about the spatial content of the idea of knowledge. What we add to the language of topologic are names of both points and neighbourhoods of points. Due to the special semantics of topologic these names do not quite behave like nominals in hybrid logic. Nevertheless, corresponding satisfaction operators can be simulated with the aid of the global modality, which becomes, therefore, another means of expression of our system. In this paper we put forward an axiomatization of the set of formulas valid in all such hybrid scenarios, and we prove the decidability of this logic. Moreover, we argue that the present approach to hybridizing modal concepts for knowledge and topology is not only much more powerful but also much more natural than a previous one.

[1]  J. C. C. McKinsey,et al.  A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology , 1941, J. Symb. Log..

[2]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[3]  Bernhard Heinemann,et al.  Knowledge over Dense Flows of Time (from a Hybrid Point of View) , 2002, FSTTCS.

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

[5]  Konstantinos Georgatos,et al.  Knowledge on Treelike Spaces , 1997, Stud Logica.

[6]  Klaus Weihrauch,et al.  Computable Analysis: An Introduction , 2014, Texts in Theoretical Computer Science. An EATCS Series.

[7]  Bernhard Heinemann Separating Sets by Modal Formulas , 1998, AMAST.

[8]  Bernhard Heinemann,et al.  Generalizing the Modal and Temporal Logic of Linear Time , 2000, AMAST.

[9]  Rohit Parikh,et al.  Completeness of Certain Bimodal Logics for Subset Spaces , 2002, Stud Logica.

[10]  Maarten Marx,et al.  The Computational Complexity of Hybrid Temporal Logics , 2000, Log. J. IGPL.

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

[12]  Bernhard Heinemann,et al.  A Hybrid Treatment of Evolutionary Sets , 2002, MICAI.

[13]  Patrick Blackburn,et al.  Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto , 2000, Log. J. IGPL.

[14]  Bernhard Heinemann,et al.  Extended Canonicity of Certain Topological Properties of Set Spaces , 2003, LPAR.

[15]  Edith Hemaspaandra,et al.  A modal perspective on the computational complexity of attribute value grammar , 1993, J. Log. Lang. Inf..

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

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

[18]  Bernhard Heinemann An application of monodic first-order temporal logic to reasoning about knowledge , 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..