activity
20132023
most citedThe provably total recursive functions and the MRDP theorem in Basic Arithmetic and its extensions

1 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2013★ 1 cited

Epistemic Learning Programs A Calculus for Describing Epistemic Action Models

Mohammad Ardeshir Rasoul Ramezanian

Dynamic Epistemic Logic makes it possible to model and reason about information change in multi-agent systems. Information change is mathematically modeled through epistemic action…