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)
Reasoning about knowledge
Topological Semantics for Hybrid Systems
LFCS '97 Proceedings of the 4th International Symposium on Logical Foundations of Computer Science
A Topological Generalization of Propositional Linear Time Temporal Logic
MFCS '97 Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science
Separating Sets by Modal Formulas
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Knowledge Theoretic Properties of Topological Spaces
International Conference Logic at Work on Knowledge Representation and Reasoning Under Uncertainty, Logic at Work
Modal logics for continuous dynamics
Modal logics for continuous dynamics
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 |
In the given paper we introduce a system by means of which the increasing of sets in the course of continuous (linear) time can be modelled. The system is based on a bimodal language. It originates from certain logics admitting topological reasoning where shrinking of sets is the subject of investigation, but is 'dual' to those in an obvious sense. After the motivating part we examine the system from a logical point of view. Our main results include completeness of a proposed axiomatisation and decidability of the set of validities. The intended applications concern all fields of (spatio-)temporal reasoning.