Advertisement

Propositional Annotated Logics \(P\tau \)

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

Abstract

This chapter introduces the propositional annotated logics \(P\tau \). We present a Hilbert style axiomatization of \(P\tau \) and their semantics. We show some formal results including completeness.

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