| http://www.w3.org/ns/prov#value | - We propose so called clausal tableau systems for the common modal logics K, KD, T, KB, KDB and B. There is a measure such that for each tableau rule of these systems the measure of all its denominators is smaller than the measure of its numerator.
|
