3 citations · 3 across the 3 of their papers we have counts for
4 papers · 1 filter
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…
Ł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…
A Parallel Dynamic Epistemic Perspective over Muddy Children Puzzle
Bogdan Macovei
Epistemic protocols represents a current field of interest, with numerous approaches still being studied. In this paper we formalize parallel sessions of the The Muddy Children Puz…
DELP: Dynamic Epistemic Logic for Security Protocols
Ioana Leustean, Bogdan Macovei
The formal analysis of security protocols is a challenging field, with various approaches being studied nowadays. The famous Burrows-Abadi-Needham Logic was the first logical syste…