אנגלית ⇄ גרמנית סינית +

propositional dynamic logic
.מכשיר	命题动态逻辑