A propositional modal logic of time intervals
Journal of the ACM (JACM)
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Maintaining knowledge about temporal intervals
Communications of the ACM
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
A Hardware Semantics Based on Temporal Intervals
Proceedings of the 10th Colloquium on Automata, Languages and Programming
Decidability and Undecidability Results for Duration Calculus
STACS '93 Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science
Some Extensions to Propositional Mean-Value Caculus: Expressiveness and Decidability
CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Maximal decidable fragments of Halpern and Shoham's modal logic of intervals
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
B and D are enough to make the Halpern-Shoham logic undecidable
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
A dose of timed logic, in guarded measure
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
The importance of the past in interval temporal logics: the case of propositional neighborhood logic
Logic Programs, Norms and Action
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
| Hi-index | 0.00 |