Talk:Metric temporal logic

I have created this page, because I am collecting information about the subject and it could prove useful for others. There is possibly one problem though. Text needs to be rephrased, because right now it is just copied from the sources and that violates the rules of Wikipedia. I will do it later, but anyone who would like to help me in that is encouraged to do so. So far I will try to save the article in a form of approved in-text attribution. Apelttom (talk) 08:18, 26 March 2018 (UTC)