DMCA

Cut Elimination for Shallow Modal Logics ⋆

by Björn Lellmann , Dirk Pattinson
Citations:5 - 3 self