Semantic tableaux program using 2-valued and 4-valued semantics.