Propositional Annotated Logics \(P\tau \)
Part of the Intelligent Systems Reference Library book series (ISRL, volume 88)
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.
© Springer International Publishing Switzerland 2015