Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: To every propositional logic satisfying double negation law is assigned a De Morgan poset e. Using of axioms for an universal quantifier,  set up axioms for the so-called tense operators G and H on e. The triple D = (e; G, H) is called a (partial) dynamic De Morgan algebra.  solve the following questions: first, if a time frame is given, how to construct tense operators G and H; second, if a dynamic De Morgan algebra is given, how to find a time frame such that its tense operators G and H can be reached by this construction.
['Ivan Chajda', 'Jan Paseka']
I am writing a research paper on a idea Tense Operators and Dynamic De Morgan Algebras
[{"from": "human", "value": "I am writing a research paper on a idea Tense Operators and Dynamic De Morgan Algebras"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: To every propositional logic satisfying double negation law is assigned a De Morgan poset e. Using of axioms for an universal quantifier,  set up axioms for the so-called tense operators G and H on e. The triple D = (e; G, H) is called a (partial) dynamic De Morgan algebra.  solve the following questions: first, if a time frame is given, how to construct tense operators G and H; second, if a dynamic De Morgan algebra is given, how to find a time frame such that its tense operators G and H can be reached by this construction."}]