 Finally, we should note that while model theory and proof theory are the most prominent contenders for the explication of logical consequence, there are alternative frameworks for formal semantics such as  algebraic semantics,  game-theoretic semantics and  dynamic semantics  (see Wansig 2000).