DMCA

Cut Elimination in Nested Sequents for Intuitionistic Modal Logics

by Lutz Straßburger
Citations:4 - 3 self