academic logic