PDF | LogAB is a family of logics of belief. It holds a middle ground between the expressive, but prone to paradox, syntactical first-order theories and.
確定! 回上一頁