Introduction to Annotated Logics - Abe, Jair M; Akama, Seiki; Nakamatsu, Kazumi; Kazumi Nakamatsu; Seiki Akama (Springer International Publishing, 2015)