modal logic systems / cut-free pure systems / labelled systems / inference systems / possible solutions / proof systems / natural deduction systems / stronger systems / decision procedures using tableaux algorithms / /
Person
Unravelling Robert Hein / Robert Hein / Charles Stewart Technische Universit / Alex Simpson / / /