Towards a general theory of action and time
Artificial Intelligence
The complexity of propositional linear temporal logics
Journal of the ACM (JACM)
“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
A logic-based calculus of events
New Generation Computing
A decidable propositional dynamic logic with explicit probabilities
Information and Control
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
AI Expert
Theoretical Computer Science
Temporal logic for real time systems
Temporal logic for real time systems
Real-time interval logic for reasoning about executions of real-time programs
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
A critical examination of Allen's theory of action and time
Artificial Intelligence
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software - On the role of language in programming
Moments and points in an interval-based temporal logic
Computational Intelligence
Specifying real-time properties with metric temporal logic
Real-Time Systems
A propositional modal logic of time intervals
Journal of the ACM (JACM)
The temporal specification and verification of real-time systems
The temporal specification and verification of real-time systems
Formal methods for the specification and design of real-time safety critical systems
Journal of Systems and Software
Quantitative temporal reasoning
Real-Time Systems
Proving properties of states in the situation calculus
Artificial Intelligence
Journal of the ACM (JACM)
Reasoning about knowledge and probability
Journal of the ACM (JACM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Temporal logic (vol. 1): mathematical foundations and computational aspects
Temporal logic (vol. 1): mathematical foundations and computational aspects
Modechart: A Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
Reasoning about knowledge
Temporal logic of programs: a standard approach
Time and logic
Branching time and partial order in temporal logics
Time and logic
Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)
A hierarchy of temporal logics with past
STACS '94 Selected papers of the eleventh symposium on Theoretical aspects of computer science
The benefits of relaxing punctuality
Journal of the ACM (JACM)
UPPAAL—a tool suite for automatic verification of real-time systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Temporal logic in information systems
Logics for databases and information systems
Non-elementary lower bound for propositional duration calculus
Information Processing Letters
A partial order approach to branching time logic model checking
Information and Computation
Relations Among Complexity Measures
Journal of the ACM (JACM)
The Complexity of Tree Automata and Logics of Programs
SIAM Journal on Computing
Specification in CTL + Past for verification in CTL
Information and Computation - Special issue on EXPRESS 1997
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
Maintaining knowledge about temporal intervals
Communications of the ACM
An Interval Logic for Real-Time System Specification
IEEE Transactions on Software Engineering
ACM Transactions on Computational Logic (TOCL)
Dynamic Logic
On the temporal analysis of fairness
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The temporal logic of branching time
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Process logic: preliminary report
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Automatic verification of real-time systems with discrete probability distributions
Theoretical Computer Science
On the composition of processes
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Monodic fragments of first-order temporal logics: 2000-2001 A.D
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Checking Linear Duration Invariants by Linear Programming
ASIAN '96 Proceedings of the Second Asian Computing Science Conference on Concurrency and Parallelism, Programming, Networking, and Security
Completeness and Decidability of a Fragment of Duration Calculus with Iteration
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Sharpening the Undecidability of Interval Temporal Logic
ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
A Hardware Semantics Based on Temporal Intervals
Proceedings of the 10th Colloquium on Automata, Languages and Programming
The Regular Real-Time Languages
ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
Decidability of Interval Temporal Logics over Split-Frames via Granularity
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Symbolic Model Checking without BDDs
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Decidability and Undecidability Results for Duration Calculus
STACS '93 Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science
Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
It's About Time: Real-Time Logics Reviewed
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
An Adequate First Order Interval Logic
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Synthesizing Controllers from Duration Calculus
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Some Decidability Results for Duration Calculus under Synchronous Interpretation
FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Probabilistic Neighbourhood Logic
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Take It NP-Easy: Bounded Model Construction for Duration Calculus
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Model Checking of Probabalistic and Nondeterministic Systems
Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
Extending Interval Logic to Real Time Systems
Temporal Logic in Specification
Some Very Compositional Temporal Properties
PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
Kronos: A Model-Checking Tool for Real-Time Systems
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
ICS: Integrated Canonizer and Solver
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
It Usually Works: The Temporal Logic of Stochastic Systems
Proceedings of the 7th International Conference on Computer Aided Verification
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
On the Completeness and Decidability of a Restricted First Order Linear Temporal Logic
KGC '97 Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
Proceedings of the Conference on Logic of Programs
Automatic Verification of Real-Time Systems with Discrete Probability Distributions
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Logics and Models of Real Time: A Survey
Proceedings of the Real-Time: Theory in Practice, REX Workshop
A Complete Axiomatization of Interval Temporal Logic with Infinite Time
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
The complexity of the temporal logic with "until" over general linear time
Journal of Computer and System Sciences
Decision procedures and expressiveness in the temporal logic of branching time
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
An interval logic for higher-level temporal reasoning
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
A temporal logic for reasoning about partially ordered computations (Extended Abstract)
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
A decidable propositional probabilistic dynamic logic
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
On Checking Parallel Real-Time Systems for Linear Duration Invariants
PDSE '98 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
Using TILCO for Specifying Real-Time Systems
ICECCS '96 Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems
Execution of TILCO Temporal Logic Specifications
ICECCS '02 Proceedings of the Eighth International Conference on Engineering of Complex Computer Systems
SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC
SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC
A Probabilistic Duration Calculus
A Probabilistic Duration Calculus
Decidability and expressiveness of logics of processes
Decidability and expressiveness of logics of processes
Reasoning about digital circuits
Reasoning about digital circuits
Compositional Temporal Logic Based on Partial Order
TIME '04 Proceedings of the 11th International Symposium on Temporal Representation and Reasoning
Using interval logics for temporal analysis of security protocols
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
On the Decidability of Metric Temporal Logic
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
On the completeness and decidability of duration calculus with iteration
Theoretical Computer Science
A Decidable Temporal Logic for Events and States
TIME '06 Proceedings of the Thirteenth International Symposium on Temporal Representation and Reasoning
Probabilistic temporal logics via the modal mu-calculus
Theoretical Computer Science
Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
Journal of Logic and Computation
Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension
RTSS '06 Proceedings of the 27th IEEE International Real-Time Systems Symposium
Quantitative temporal logics over the reals: PSpace and below
Information and Computation
An Optimal Decision Procedure for Right Propositional Neighborhood Logic
Journal of Automated Reasoning
Reply to Comments on "An Interval Logic for Real-Time System Specification'
IEEE Transactions on Software Engineering
On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties
RTCSA '07 Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Verifying Linear Real-Time Logic Specifications
RTSS '07 Proceedings of the 28th IEEE International Real-Time Systems Symposium
ACM Transactions on Computational Logic (TOCL)
The Satisfiability Problem for Probabilistic CTL
LICS '08 Proceedings of the 2008 23rd Annual IEEE Symposium on Logic in Computer Science
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
A decidability result for a second order process logic
SFCS '78 Proceedings of the 19th Annual Symposium on Foundations of Computer Science
Semantics of probabilistic programs
SFCS '79 Proceedings of the 20th Annual Symposium on Foundations of Computer Science
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
On Expressiveness and Complexity in Real-Time Model Checking
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
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
Some Recent Results in Metric Temporal Logic
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Practical First-Order Temporal Reasoning
TIME '08 Proceedings of the 2008 15th International Symposium on Temporal Representation and Reasoning
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
A model-theoretic approach to the verification of situated reasoning systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A resolution method for temporal logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Temporal prepositions and their logic
Artificial Intelligence
Validating Component Integration with C-TILCO
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
Tableaux for Logics of Subinterval Structures over Dense Orderings
Journal of Logic and Computation
An optimal Tableau-based decision algorithm for propositional neighborhood logic
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
Model checking probabilistic timed automata with one or two clocks
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Deciding an interval logic with accumulated durations
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
The complexity of CTL* + linear past
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
TIME '10 Proceedings of the 2010 17th International Symposium on Temporal Representation and Reasoning
TIME '10 Proceedings of the 2010 17th International Symposium on Temporal Representation and Reasoning
The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse
The Ultimate Undecidability Result for the Halpern-Shoham Logic
LICS '11 Proceedings of the 2011 IEEE 26th Annual Symposium on Logic in Computer Science
A tableau-based decision procedure for right propositional neighborhood logic
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Real time temporal logic: past, present, future
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Verifying linear duration constraints of timed automata
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
On the expressiveness of TPTL and MTL
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Allen linear (interval) temporal logic – translation to LTL and monitor synthesis
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Bounded validity checking of interval duration logic
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Logics for Real Time: Decidability and Complexity
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Modal description logics: modalizing roles
Fundamenta Informaticae
Adding Partial Orders to Linear Temporal Logic
Fundamenta Informaticae
| Hi-index | 0.00 |
Over the last two decades, there has been an extensive study of logical formalisms on specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have been introduced for formal specification of real-time and complex systems, an up to date survey of these logics does not exist in the literature. In this paper we analyse various temporal formalisms introduced for specification, including propositional/first-order linear temporal logics, branching temporal logics, interval temporal logics, real-time temporal logics and probabilistic temporal logics. We give decidability, axiomatizability, expressiveness, model checking results for each logic analysed. We also provide a comparison of features of the temporal logics discussed.