A really temporal logic

Recommendations

scientific article; zbMATH DE number 1749195
Temporal Logics
scientific article; zbMATH DE number 4112561
An unusual temporal logic
Temporal and dynamic logic
The logical approach to temporal reasoning
A temporal semantics for basic logic
scientific article; zbMATH DE number 4158604
A non-reified temporal logic

Cited in

(only showing first 100 items - show all)

Programming in metric temporal logic
The power of the ``always operator in first-order temporal logic
Design of the real time systems using temporal logic specifications: A case study
A process algebra of communicating shared resources with dense time and priorities
A temporal logic for real-time partial ordering with named transactions
Verification in loosely synchronous queue-connected discrete timed automata.
Generalized discrete timed automata: Decidable approximations for safety verification.
On the expressivity and complexity of quantitative branching-time temporal logics
Pushdown timed automata: A binary reachability characterization and safety verification.
Past pushdown timed automata and safety verification.
On clock-aware LTL parameter synthesis of timed automata
On a class of timer hybrid systems reducible to finite state automata
Min-max event-triggered computation tree logic
Model checking of systems with many identical timed processes
Is your model checker on time? On the complexity of model checking for timed modal logics
Presburger liveness verification of discrete timed automata.
Semantics of temporal constrained objects
One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\)
Temporal logic with recursion
Complexity issues for timeline-based planning over dense time under future and minimal semantics
Satisfiability checking for mission-time \textsf{LTL} (MLTL)
Decidability and complexity of action-based temporal planning over dense time
Theorem proving for pointwise metric temporal logic over the naturals via translations
Modelling temporal behaviour in complex systems with Timebands
On the expressiveness of TPTL and MTL
A fuzzy real-time temporal logic
Efficient timed model checking for discrete-time systems
Time window temporal logic
Bounded variability of metric temporal logic
A survey on temporal logics for specifying and verifying real-time systems
Parameterized model checking of weighted networks
STL*: extending signal temporal logic with signal-value freezing operator
Monotonic hybrid systems
Model checking restricted sets of timed paths
LTL over integer periodicity constraints
Decidable first-order transition logics for PA-processes
Complexity of modal logics with Presburger constraints
Metric temporal logic revisited
scientific article; zbMATH DE number 1693545 (Why is no real title available?)
Monitoring metric first-order temporal properties
On freeze LTL with ordered attributes
Adequacy and complete axiomatization for timed modal logic
Model-checking \(\mathrm{CTL}^*\) over flat Presburger counter systems
Metric temporal reasoning with less than two clocks
On interactive knowledge with bounded communication
Temporal specifications with accumulative values
Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting
The decision problem of modal product logics with a diagonal, and faulty counter machines
VERIFICATION IN QUEUE-CONNECTED MULTICOUNTER MACHINES
THE EXISTENCE OF ω-CHAINS FOR TRANSITIVE MIXED LINEAR RELATIONS AND ITS APPLICATIONS
On expressive powers of timed logics: comparing boundedness, non-punctuality, and deterministic freezing
Time-Bounded Verification of CTMCs against Real-Time Specifications
The complexity of reversal-bounded model-checking
Model Checking Real-Time Systems
Linear-time temporal logic with event freezing functions
One-pass and tree-shaped tableau systems for \(\mathrm{TPTL}\) and \(\mathrm{TPTL}_b+\mathrm{Past}\)
Complexity of timeline-based planning over dense temporal domains: exploring the middle ground
Timed context-free temporal logics
Some Recent Results in Metric Temporal Logic
Completeness Results for Memory Logics
Linear-time temporal logics with Presburger constraints: an overview
Realizability of real-time logics
Deciding safety and liveness in TPTL
scientific article; zbMATH DE number 176150 (Why is no real title available?)
scientific article; zbMATH DE number 177509 (Why is no real title available?)
scientific article; zbMATH DE number 4128370 (Why is no real title available?)
scientific article; zbMATH DE number 1303727 (Why is no real title available?)
scientific article; zbMATH DE number 1304997 (Why is no real title available?)
scientific article; zbMATH DE number 1324668 (Why is no real title available?)
Completeness and decidability of tense logics closely related to logics above K4
scientific article; zbMATH DE number 2080056 (Why is no real title available?)
An interval-based temporal algebra based on binary encoding of point relations
scientific article; zbMATH DE number 1536544 (Why is no real title available?)
A decidable timeout-based extension of linear temporal logic
Tomorrow’s Sea-Battle and the Beginning of Temporal Logic
Automatic synthesis of real time systems
On temporal logic and signal processing
Constraint LTL satisfiability checking without automata
scientific article; zbMATH DE number 1882004 (Why is no real title available?)
A Real-time Semantics of Temporal Logic of Actions
scientific article; zbMATH DE number 1424034 (Why is no real title available?)
scientific article; zbMATH DE number 1444736 (Why is no real title available?)
Property-based testing for Spark Streaming
Flow logic
Model-checking timed temporal logics
Conformance relations and hyperproperties for doping detection in time and space
A propositional dense time logic
Temporal Logic for Programmable Logic Controllers
A temporal logic for modelling activities of daily living
EPTL: a temporal logic for weakly consistent systems (short paper)
A temporal logic for real-time partial-ordering with named transactions
Suitability of the propositional temporal logic to express properties of real-time systems
Flow logic
Two-variable logics with some betweenness relations: expressiveness, satisfiability and membership
What good are digital clocks?
On reachability and safety in infinite-state systems
Model checking of biological systems
A temporal logic for micro- and macro-step-based real-time systems: foundations and applications
scientific article; zbMATH DE number 6787711 (Why is no real title available?)
Model checking biological oscillators

This page was built for publication: A really temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4299300)