Vol-4268⫷ Vol-4269 ⫸Vol-4270
urn:nbn:de:0074-4269-0


Vol-4269/awardmaster1⫷Vol-4269/paper15⫸Vol-4269/paper31
Andrew Lewis-Smith

A Kripke Semantics and Tableau for Monadic Wajsberg Logic