# 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. 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? 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. Mar 11 '16 at 20:40