Predicate Annotated Logics \(Q\tau \)
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.
© Springer International Publishing Switzerland 2015