Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:   study several properties of the Exogenous Probabilistic Propositional Logic  (EPPL )  , a logic for reasoning about probabilities, with the purpose of introducing a temporal version - Exogenous Probabilistic Linear Temporal Logic  (EPLTL)  . In detail,  give a small model theorem for  EPPL  and introduce a satisfaction and a model checking algorithm for both  EPPL  and  EPLTL  .  are also able to provide a (akly) complete calculus for  EPLTL  . Finally,  conclude by pointing out some future work.
['Pedro Baltazar', 'Paulo Mateus']
I am writing a research paper on a idea Temporalization of Probabilistic Propositional Logic
[{"from": "human", "value": "I am writing a research paper on a idea Temporalization of Probabilistic Propositional Logic"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:   study several properties of the Exogenous Probabilistic Propositional Logic  (EPPL )  , a logic for reasoning about probabilities, with the purpose of introducing a temporal version - Exogenous Probabilistic Linear Temporal Logic  (EPLTL)  . In detail,  give a small model theorem for  EPPL  and introduce a satisfaction and a model checking algorithm for both  EPPL  and  EPLTL  .  are also able to provide a (akly) complete calculus for  EPLTL  . Finally,  conclude by pointing out some future work."}]