3 papers
cs.LO2026
Formalizing a Many-Sorted Hybrid Polyadic Modal Logic in Lean
Andrei-Alexandru Oltean, Bogdan Macovei, Ioana LeuÅtean
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…
cs.LO2025
Operational semantics and program verification using many-sorted hybrid modal logic
Ioana Leustean, Natalia Moanga, Traian Florin Serbanuta
We propose a general framework to allow: (a) specifying the operational semantics of a programming language; and (b) stating and proving properties about program correctness. Our f…
cs.LO2025
Åukasiewicz Logic with Actions for Neural Networks training
Ioana LeuÅtean, Bogdan Macovei
Based on the already known connection between multilayer perceptrons and Lukasiewicz logic with rational coefficients, we take a step forward in analyzing its training process usin…