Game Logic is a modal logic which extends Propositional Dynamic Logic by generalising its semantics and adding a new operator to the language.
確定! 回上一頁