Tableaux with Dynamic Filtration for Layered Modal Logics.

Olivier Gasquet, Bilal Said

Browse the full TABLEAUX paper archive.