Recent research in these fields has explored various aspects of modal logic and proof theory ... Countermodel: A model that demonstrates the falsity of a given statement or theorem.