Base-Extension Semantics for Intuitionistic Modal Logics (Extended Abstract).

Yll Buzoku, David J. Pym

Browse the full TABLEAUX paper archive.