Implement semantics for PLTL #53
Description
Is your feature request related to a problem? Please describe.
Currently, there isn't support for PLTL semantics on finite traces.
Describe the solution you'd like
Implement it.
Reference: http://www.diag.uniroma1.it//~degiacom/papers/2020draft/ijcai2020ddfr.pdf
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