Title: A framework for defining logics