José A. Alonso · @Jose_A_Alonso
562 followers · 528 posts · Server mathstodon.xyzAdvancing automated theorem proving for the modal logics D and S5. ~ Jens Otten. https://ceur-ws.org/Vol-3326/ARQNL2022_paper5.pdf #ATP #ModalLogic #MleanCoP #nanoCoPM
#nanocopm #mleancop #ModalLogic #atp
Last updated 2 years ago