activity
20212026
most citedŁukasiewicz Logic with Actions for Neural Networks training

3 citations · 3 across the 3 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.LO2026

Formalizing a Many-Sorted Hybrid Polyadic Modal Logic in Lean

Andrei-Alexandru Oltean, Alexandru Oltean, Bogdan Macovei +1

We present a Lean formalization of a general hybrid modal logic with many-sorted signatures and polyadic modal operators. The system borrows ideas from both algebraic specification…