Theorem proving for pointwise metric temporal logic over the naturals via translations (Q2228435): Difference between revisions

@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TRP++
@@ Property / describes a project that uses: TRP++ / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-020-09541-4
+Normal rank
@@ Property / OpenAlex ID @@
+W3008764564
@@ Property / OpenAlex ID: W3008764564 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking in dense real-time
@@ Property / cites work: Model-checking in dense real-time / rank @@
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+Real-time logics: Complexity and expressiveness
@@ Property / cites work: Real-time logics: Complexity and expressiveness / rank @@
+Normal rank
@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Metric temporal description logics with interval-rigid names
+Normal rank
@@ Property / cites work @@
+A tool for deciding the satisfiability of continuous-time metric temporal logic
+Normal rank
@@ Property / cites work @@
+Querying Log Data with Metric Temporal Logic
@@ Property / cites work: Querying Log Data with Metric Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+An integrated approach for modeling and solving the general multiprocessor job-shop scheduling problem using tabu search
+Normal rank
@@ Property / cites work @@
+Temporal Logic with Capacity Constraints
@@ Property / cites work: Temporal Logic with Capacity Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Robustness of temporal logic specifications for continuous-time signals
+Normal rank
@@ Property / cites work @@
+A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution
+Normal rank
@@ Property / cites work @@
+Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners
+Normal rank
@@ Property / cites work @@
+And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL
+Normal rank
@@ Property / cites work @@
+Bounds for Certain Multiprocessing Anomalies
@@ Property / cites work: Bounds for Certain Multiprocessing Anomalies / rank @@
+Normal rank
@@ Property / cites work @@
+On metric temporal description logics
@@ Property / cites work: On metric temporal description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving for metric temporal logic over the naturals
+Normal rank
@@ Property / cites work @@
+Implementing a fair monodic temporal logic prover
@@ Property / cites work: Implementing a fair monodic temporal logic prover / rank @@
+Normal rank
@@ Property / cites work @@
+Some Recent Results in Metric Temporal Logic
@@ Property / cites work: Some Recent Results in Metric Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5015285
@@ Property / cites work: Q5015285 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838819
@@ Property / cites work: Q3838819 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance
+Normal rank
@@ Property / cites work @@
+A resolution calculus for the branching-time temporal logic CTL
+Normal rank