An application of monodic first-order temporal logic to reasoning about knowledge

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn 2003-January, Issue , 2003, Pages 10-16

  Heinemann, Bernhard ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY;

FIRST ORDER; FIRST-ORDER TEMPORAL LOGIC; LINEAR TIME TEMPORAL LOGIC; MONODIC FRAGMENTS; REASONING ABOUT KNOWLEDGE;

TEMPORAL LOGIC;

EID: 84944070752     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2003.1214875     Document Type: Conference Paper

References (13)

1. P. Blackburn. Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto. Logic Journal of the IGPL, 8:339-365, 2000.
2. P. Blackburn, M. dc Rijke, and Y. Venema. Modal Logic, volume 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, 2001.
3. A. Dabrowski, L. S. Moss, and R. Parikh. Topological Reasoning and The Logic of Knowledge. Annals of Pure and Applied Logic, 78:73-110,1996.
4. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press. Cambridge, MA, 1995.
5. K. Georgatos. Knowledge on Treelike Spaces. Studio Logica, 59:271-301,1997.
6. B. Heinemann. About the Temporal Decrease of Sets. In C. Bettini and A. Montanari, editors. Temporal Representation and Reasoning, 8th International Workshop, TIME-01, pages 234-239, Los Alamitos, CA, 2001. IEEE Computer Society Press.
7. B. Hcinemann. Knowledge over Dense Flows of Time (from a Hybrid Point of View). In M. Agrawal and A. Seth, editors, EST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, volume 2556 of Lecture Notes in Computer Science, pages 194-205, Berlin, 2002. Springer.
8. I. Hodkinson. Monodie Packed Fragment with Equality is Decidable. Studio Logica, 72(2): 185-197,2002.
9. I. Hodkinson, F. Wolter, and M. Zakharyaschev. Decidable Fragments of First-Order Temporal Logics. Annals of Pure and Applied Logic, 106(1-3):85-134,2000.
10. I. Hodkinson, F. Wolter, and M. Zakharyaschev. Monodie Fragments of First-Order Temporal Logics: 2000-2001 A.D. In R. Nicuwcnhuis and A. Voronkov, editors. Logic for Programming, Artificial Intelligence and Reasoning, volume 2250 of Lecture Notes in Artificial Intelligence, pages 1-23. Berlin, 2001. Springer.
11. J.-J. C. Meyer and W. van der Hock. Epistemic Logic for Al and Computer Science, volume 41 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press. Cambridge, 1995.
12. L. S. Moss and R. 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.
13. H. Onoand A. Nakamura. On the Size of Refutation Kripke Models for Some Linear Modal and Tense Logics. Studio logica, 39(4):325-333,1980.