DEAK calculus

MaRDI QIDQ40387swMATHFDO

Official website https://goodlyrottenapple.github.io/calculus-toolbox/

Source code repository https://github.com/goodlyrottenapple/calculus-toolbox-2

Cited in

(2)

• Muddy children
• Software tool support for modular reasoning in modal logics of actions

This page was built for software: DEAK calculus