Tense Operators and Dynamic De Morgan Algebras

摘要

To every propositional logic satisfying double negation law is assigned a De Morgan poset ?. Using of axioms for an universal quantifier, we set up axioms for the so-called tense operators G and H on ?. The triple D = (?; G, H) is called a (partial) dynamic De Morgan algebra. We 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.