Introduction to Annotated Logics - Abe, Jair M (Springer International Publishing, 2015)