Vol-3325⫷ Vol-3326 ⫸Vol-3327
urn:nbn:de:0074-3326-0


Vol-3326/ARQNL2022_paper4⫷Vol-3326/ARQNL2022_paper5⫸Vol-3326/ARQNL2022_paper6
Jens Otten

Advancing Automated Theorem Proving for the Modal Logics D and S5