feat(LTL): Linear Temporal Logic - #884

Draft

fmontesi wants to merge 12 commits into

mainfrom

Commits on Aug 31, 2026

multimodal logic begings
fmontesi
committed
eb6d1e4

Commits on Sep 3, 2026

General Modal Logic
fmontesi
committed
5fc60be
some polishing
fmontesi
committed
ad6a5db
some grind tests
fmontesi
committed
9956ebd
unimodal cube tests
fmontesi
committed
f3910fb
add false and rebase on or
fmontesi
committed
e6c0cac
add truth
fmontesi
committed
38a031a

Commits on Sep 4, 2026

HML as a specific unary logic
fmontesi
committed
d6bd382
merge main
fmontesi
committed
d090f27
import fix
fmontesi
committed
d78aa6e

Commits on Sep 7, 2026

Merge branch 'main' into fmontesi/multimodal
fmontesi
committed
aa29158

Commits on Sep 8, 2026

ltl intro
fmontesi
committed
1bd1c3a