Advertisement

Introduction

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

Abstract

This chapter gives motivations and the history of annotated logics as an introduction to this book. First, we discuss the importance of annotated logics in connection with paraconsistent logics. Second, we present the history of annotated logics by reviewing the literature on the subject.

Keywords

Modal Logic Logic Programming Classical Logic Intuitionistic Logic Epistemic Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

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