Kripke Semantics for Basic Sequent Systems.

Arnon Avron, Ori Lahav

Browse the full TABLEAUX paper archive.