The complexity of propositional linear temporal logics
Journal of the ACM (JACM)
Logics of time and computation
Logics of time and computation
The complexity of reasoning about knowledge and time. I. lower bounds
Journal of Computer and System Sciences - 18th Annual ACM Symposium on Theory of Computing (STOC), May 28-30, 1986
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Temporal logic (vol. 1): mathematical foundations and computational aspects
Temporal logic (vol. 1): mathematical foundations and computational aspects
Reasoning about knowledge
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Adding partial orders to linear temporal logic
Fundamenta Informaticae
Temporal aspects of the modal logic of subset spaces
Theoretical Computer Science
Modal logic
Generalizing the Modal and Temporal Logic of Linear Time
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Extending Topological Nexttime Logic
TIME '00 Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning (TIME'00)
Knowledge over Dense Flows of Time (from a Hybrid Point of View)
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Hi-index | 0.00 |
This paper is about a formalism describing the change of a given set in the course of time. Starting at the Halpern-Moses semantics of evolving knowledge in distributed systems and restricting attention to synchronous ones, then the knowledge state of an agent having a part in the system represents a paradigm for such a changing set, and also a guide to our modelling attempt. We develop an appropiate language of change and axiomatize the set of theorems of a corresponding logic. Afterwards, we are concerned with the basic properties of the resulting system: semantic completeness, decidability, and complexity. It turns out that simplicity of the facts is reflected as simplicity of the system, in a sense.