Predicate Annotated Logics \(Q\tau \)

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


This chapter studies the predicate annotated logics \(Q\tau \), which can be seen as a predicate extension of \(P\tau \). Their axiomatization and semantics are considered. We also prove completeness and other metatheorems.

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