Differentiable modal logic for PyTorch: □ and ♢ as trainable layers over a Kripke structure, with sound interval bounds and a learnable accessibility relation. Oral @ NeSy 2026.
machine-learning logic pytorch temporal-logic fuzzy-logic modal-logic epistemic-logic neural-symbolic neurosymbolic neurosymbolic-ai kripke-semantics differentiable-logic
-
Updated
Oct 1, 2026 - Python