Knowledge over dense flows of time (from a hybrid point of view)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2556 LNCS, Issue , 2002, Pages 194-205

  Heinemann, Bernhard ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

Hybridization; Modal logic of subset spaces; Reasoning about knowledge and time

Indexed keywords

SOFTWARE ENGINEERING; ARTIFICIAL INTELLIGENCE; COMPUTERS;

COMPLETENESS THEOREMS; FOLLOWING PROBLEM; HYBRID LOGIC; HYBRIDIZATION; KNOWLEDGE STATE; LOGICAL LANGUAGE; MODAL LOGIC; REASONING ABOUT KNOWLEDGE;

COMPUTER CIRCUITS; SOFTWARE ENGINEERING;

EID: 35048858635     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36206-1_18     Document Type: Conference Paper

References (15)

1. Patrick Blackburn. Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto. Logic Journal of the IGPL, 8:339-365, 2000.
2. Patrick Blackburn, Maarten de Rijke, and Yde Venema. Modal Logic, volume 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, 2001.
3. Patrick Blackburn and Miroslava Tzakova. Hybrid Languages and Temporal Logic. Logic Journal of the IGPL, 7(1):27-54, 1999.
4. Andrew Dabrowski, Lawrence S. Moss, and Rohit Parikh. Topological Reasoning and The Logic of Knowledge. Annals of Pure and Applied Logic, 78:73-110, 1996.
5. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, MA, 1995.
6. Konstantinos Georgatos. Knowledge on Treelike Spaces. Studia Logica, 59:271-301, 1997.
7. Bernhard Heinemann. On Sets Growing Continuously. In C. Pandu Rangan, V. Raman, and R. Ramanujam, editors, Foundations of Software Technology & Theoretical Computer Science, 19th Conference, FST&TCS 1999, volume 1738 of Lecture Notes in Computer Science, pages 420-431, Berlin, 1999. Springer.
8. Bernhard Heinemann. Modelling Change with the Aid of Knowledge and Time. In R. Freivalds, editor, Fundamentals of Computation Theory, 13th International Symposium, FCT 2001, volume 2138 of Lecture Notes in Computer Science, pages 150-161, Berlin, 2001. Springer.
9. Bernhard Heinemann. A Hybrid Treatment of Evolutionary Sets. In C. A. Coello Coello, A. de Albornoz, L. E. Sucar, and O. Cairó Battistutti, editors, MICAI'2002: Advances in Artificial Intelligence, volume 2313 of Lecture Notes in Artificial Intelligence, pages 204-213, Berlin, 2002. Springer.
10. Bernhard Heinemann. Linear Tense Logics of Increasing Sets. Journal of Logic and Computation, 12(4):583-606, 2002.
11. Jaakko Hintikka. Knowledge and Belief. Cornell University Press, Ithaca, NY, 1962.
12. Ian Hodkinson, Frank Wolter, and Michael Zakharyaschev. Decidable Fragments of First-Order Temporal Logics. Annals of Pure and Applied Logic, 106(1-3):85-134, 2000.
13. J.-J. Ch. Meyer and W. van der Hoek. Epsitemic Logic for AI and Computer Science, volume 41 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, 1995.
14. Lawrence S. Moss and Rohit Parikh. Topological Reasoning and The Logic of Knowledge. In Y. Moses, editor, Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge (TARK 1992), pages 95-105, San Francisco, CA, 1992. Morgan Kaufmann.
15. M. Angela Weiss and Rohit Parikh. Completeness of Certain Bimodal Logics for Subset Spaces. Studia Logica, 71:1-30, 2002.