Search results

...s usually expressed in [[metric temporal logic]], an extension of [[linear temporal logic]] that allows the expression of time constraints. ...med automata |type=PhD |chapter=2|page=56}}</ref> in reference to [[Zeno's paradoxes]], where an infinite number of actions occur in a finite time. ...

=== Resolving temporal paradoxes === ...l produce a secular bull market in the carbon currency for resolving these paradoxes. In other words, Chen’s solution is to “…convert tomorrow’s risk into today ...

...of abstraction, particularly in the context of Frege's Basic Law V and the paradoxes it generates.<ref>{{Citation |last=Tennant |first=Neil |title=Logicism and {{defn |1=A collection of paradoxes and logical exercises attributed to the medieval philosopher Jean Buridan, ...

...of earthquakes, physics of complex systems and pattern formation in spatio-temporal structures ...o improve considerably the estimation of multifractal structures of spatio-temporal seismicity expected from the MSA model.<ref>Kamer, Y., G. Ouillon and D. So ...

...tal "spontaneously" self-organizes into robust periodic motion (breaking a temporal symmetry).<ref>{{cite journal |last1=Sacha |first1=Krzysztof |last2=Zakrzew * the system exhibits spatial and temporal long-range order (unlike a local and intermittent order in a liquid near th ...

..., like life, are also far from equilibrium, can also exhibit stable spatio-temporal structures that reminisce life. Soon afterward, the [[Belousov–Zhabotinsky ...

...The modal operators in [[Temporal logic|temporal modal logic]] articulate temporal relations. They can be used to express, for example, that something happene ...oduction of the [[hypothetical syllogism]]{{sfn| Lear |1980 |page=34}} and temporal modal logic.{{sfnm|1a1=Knuuttila|1y=1980|1p=71|2a1=Fisher|2a2=Gabbay|2a3=Vi ...