DEAK calculus

swMATH28673MaRDI QIDQ40387FDOQ40387

Author name not available (Why is that?)

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

Cited In (1)

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

This page was built for software: DEAK calculus