6 citations · 7 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
Asynchronous Muddy Children Puzzle (work in progress)
Dafina Trufaş, Ioan Teodorescu, Denisa Diaconescu +2
In this work-in-progress paper we explore using the recently introduced VLSM formalism to define and reason about the dynamics of agent-based systems. To this aim we use VLSMs to f…
cs.LO2017★ 6 cited
A Real-Valued Modal Logic
Denisa Diaconescu, George Metcalfe, Laura Schnüriger
A many-valued modal logic is introduced that combines the usual Kripke frame semantics of the modal logic K with connectives interpreted locally at worlds by lattice and group oper…