Minlog

swMATH30424MaRDI QIDQ42138FDOQ42138

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F3-540-63104-6_27

Described by source

• \textsc{Minlog}: a minimal logic theorem prover

Cited In (1)

• Uniform and non uniform strategies for tableaux calculi for modal logics

This page was built for software: Minlog