Implement semantics for LTL

[marfvr]

Is your feature request related to a problem? Please describe.

Currently, there isn't support for LTL semantics on finite traces.

Describe the solution you'd like
Implement it.

Reference: https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17342

The solution should employ functools.singledispatch, as other API implementations do, to navigate the structure of the formula.

Describe alternatives you've considered
n/a

Additional context
n/a