The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Rasiowa-Sikorski deduction systems in computer science applications
Theoretical Computer Science
Why so Many Temporal Logics Climb up the Trees?
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Expressive Power of Temporal Logics
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
A Logic of Probability with Decidable Model-Checking
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
An Until Hierarchy for Temporal Logic
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Future temporal logic needs infinitely many modalities
Information and Computation
Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces
CONCUR 2005 - Concurrency Theory
Composition Theorem for Generalized Sum
Fundamenta Informaticae
Arity hierarchy for temporal logics
Theoretical Computer Science
Cognitive modelling of event ordering reasoning in imagistic domains
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Complexity of metric temporal logics with counting and the Pnueli modalities
Theoretical Computer Science
Temporal logics over linear time domains are in PSPACE
RP'10 Proceedings of the 4th international conference on Reachability problems
Temporal specifications for services with unboundedly many passive clients
ICDCN'11 Proceedings of the 12th international conference on Distributed computing and networking
Temporal logics over linear time domains are in PSPACE
Information and Computation
An algebraic approach for codesign
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Composition Theorem for Generalized Sum
Fundamenta Informaticae
Logics for Real Time: Decidability and Complexity
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Succinctness Gap between Monadic Logic and Duration Calculus
Fundamenta Informaticae
Modal description logics: modalizing roles
Fundamenta Informaticae
| Hi-index | 0.00 |