Dynamic logic offers a formal framework to reason about actions, transitions and the evolution of systems over time. It extends classical modal logic by incorporating operators that capture state ...
The SDASL attended the 38th International Modal Analysis Conference in February 2020 in Houston. At the conference, eight students presented 14 papers along with other papers and presentations by ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results