SEARCH Articles Figures Tables Modeling propositional logic Propositional Propositional temporal logic Symbolic logic, propositions