• Jair Minoro AbeEmail author
  • Seiki Akama
  • Kazumi Nakamatsu
Part of the Intelligent Systems Reference Library book series (ISRL, volume 88)


This chapter gives some conclusions with the summary of the book. It is possible to conclude that annotated logics are very interesting theoretically as well as practically. However, there are some future problems to be worked out.

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Jair Minoro Abe
    • 1
    Email author
  • Seiki Akama
    • 2
  • Kazumi Nakamatsu
    • 3
  1. 1.Paulista UniversitySao PauloBrazil
  2. 2.KawasakiJapan
  3. 3.University of HyogoHimejiJapan

Personalised recommendations