search

Dicklesworthstone / introduction_to_temporal_logic

An introduction to temporal logic and how it can be used to analyze concurrency
105 stars 3 forks source link

TL is not always an extension of FOL #1

Open foysavas opened 9 months ago

foysavas commented 9 months ago

In fact, some of the most interesting Temporal Logics are not extensions of FOL.

It would be more proper to say that Temporal Logic is an extension of Propositional Logic with modal operator acting over paths. Those modal operators are analogous to the universal and existential operators found in FOL, but not the same. The most expressive Temporal Logics will have both pairs of dual operators.

Anyway, this is a great write-up. Happy to help you think through nuances.

Dicklesworthstone commented 9 months ago

Thanks for the clarification, I revised the text to reflect that it doesn't necessarily have to build on top of FOL.