What are the differences between propositional logic and temporal logic?

I am currently studying temporal logic and find it much similar to propositional logic. However, temporal logic seems to be slightly more specific because it encapsulates more precise meaning symbols, like until, eventually, next etc.. My question is are there other major differences with temporal logic and propositional logic? And can everything expressed in propositional logic be expressed in temporal logic too and vice versa? Perhaps, why would one use one over the other or vice versa?

• What do you mean by "advantages"? They do different things. – David Richerby Mar 11 '16 at 19:17
• @DavidRicherby Perhaps for some applications using temporal logic to express ideas are easier to be understood then propositional logic? Or there is a convention of when to use the two? – Teodorico Levoff Mar 11 '16 at 19:22
• Usually temporal logic is defined as an extension of propositional logic, but it makes no sense to say you're working in temporal logic if you have no use for the modalities. – Derek Elkins Mar 11 '16 at 20:40

An interpretation in propositional logic consists of assigning a truth value to every variable. In contrast an interpretation of, say, LTL consists of assigning a truth value to every variable at each point in time. So the domain of discourse is different. Propositional logic is about variables having a definite truth value, whereas LTL is about variables having a truth value depending on time.

Everything that can be expressed in propositional logic can also be expressed in LTL, by just always referring to the truth value at time zero. We say that propositional logic is interpretable in LTL. The converse isn't true – you can't express temporal concepts in propositional logic. You use temporal logic when you need to express temporal concepts. In situations where you don't need to express temporal concepts, you use propositional logic.

The language of set theory is rich enough to encompass both propositional logic (and its extension, predicate logic) and temporal logic. However, the language of set theory might be too expressive for your comfort at times (for example, it may be hard to process algorithmically), which is why we are interested in propositional logic and temporal logic.