Knowledge over Dense Flows of Time (from a Hybrid Point of View)

Authors:
Bernhard Heinemann
Affiliations:
-
Venue:
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Year:
2002

Citing 7
Cited 0

Topological reasoning and the logic of knowledge

TARK '92 Proceedings of the fourth conference on Theoretical aspects of reasoning about knowledge
Reasoning about knowledge

Reasoning about knowledge
Modal logic

Modal logic
Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science
A Hybrid Treatment of Evolutionary Sets

MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
On Sets Growing Continously

Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Modelling Change with the Aid of Knowledge and Time

FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper is about an application of hybrid logic to the following problem with reasoning about knowledge: how to axiomatize spaces of knowledge states over dense flows of time? We provide an answer to this question below, proving a corresponding completeness theorem. We will make essential use of the fact that the hybrid logical language is particularly suited to express, in the modal sense, first-order properties of frames.