Prefixed Tableaux Systems for Modal Logics with Enriched Languages.

Philippe Balbiani, Stphane Demri

Browse the full IJCAI paper archive.