A Hybrid Logic of Knowledge Supporting Topological Reasoning
暂无分享,去创建一个
[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..