Volume: Vol-4269 ICTCS 2026 | Year: 2026

Paper: « None | paper15 | paper31 »

A Kripke Semantics and Tableau for Monadic Wajsberg Logic

• Andrew Lewis-Smith

1-14 PDF