A Labelled Sequent-Calculus for Observation Logic.

Olivier Brunet

Browse the full TABLEAUX paper archive.