User talk:Fismand

PSL History section
Thanks for your contributions to the Property Specification Language article. But please stop moving the lead section into a new section called "History". Your statement, "PSL is a temporal logic" does not make grammatical sense. "is A temporal logic?". I'm not qualified in the field to know what you are trying to say, but the sentence does not make sense from an engineer's POV. I'm highly technical and I still cannot understand what you are trying to say. Consider rewording it. Do you mean to say PSL is a temporal logic language?

Wonderfl (reply) 09:59, 4 August 2015 (UTC)