feat(Logic): General Modal Logic - #863

Open

fmontesi wants to merge 11 commits into

mainfrom

fmontesi/multimodal

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