Towards a general theory of action and time
Artificial Intelligence
A mean value calculus of durations
A classical mind
Theoretical Computer Science - Special issue on hybrid systems
A Hardware Semantics Based on Temporal Intervals
Proceedings of the 10th Colloquium on Automata, Languages and Programming
Liveness and Fairness in Duration Calculus
CONCUR '94 Proceedings of the Concurrency Theory
Weak Chop Inverses and Liveness in Mean-Value Calculus
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Hybrid Systems
Hybrid Systems
An Extended Duration Calculus for Hybrid Real-Time Systems
Hybrid Systems
A Duration Calculus with Infinite Intervals
FCT '95 Proceedings of the 10th International Symposium on Fundamentals of Computation Theory
Complete Proof Systems for First Order Interval Temporal Logic
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Compositional reasoning about projected and infinite time
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Duration Calculus, a Logical Approach to Real-Time Systems
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Decidability of Interval Temporal Logics over Split-Frames via Granularity
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Probabilistic Neighbourhood Logic
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Rigorous Design of a Fault Diagnosis and Isolation Algorithm
Hybrid Systems V
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Labelled Natural Deduction for Interval Logics
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders
Electronic Notes in Theoretical Computer Science (ENTCS)
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
Lazy semiring neighbours and some applications
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Timed traces and strand spaces
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
Theoretical Computer Science
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Specifying safety-critical systems with a decidable duration logic
Science of Computer Programming
| Hi-index | 0.00 |
This paper introduces left and right neighbourhoods as primitive interval modalities to define other unary and binary modalities of intervals in a first order logic with interval length. A complete first order logic for the neighbourhood modalities is presented. It is demonstrated how the logic can support formal specification and verification of liveness and fairness, and also of various notions of real analysis.