Muddy children

MaRDI QIDQ40386swMATHFDO

Official website https://goodlyrottenapple.github.io/muddy-children/

Source code repository https://github.com/goodlyrottenapple/muddy-children

Cited in

(2)

• DEAK calculus
• Software tool support for modular reasoning in modal logics of actions

This page was built for software: Muddy children