propositional logic
短语词组
- propositional modal logic 命题模态逻辑
- propositional intermediate logic 命题中间
- propositional dynamic logic [计]命题动态逻辑
- deterministic propositional dynamic logic 确定性命题逻辑
- Fuzzy Propositional Modal Logic 模糊模态逻辑
- propositional temporal logic 命题时态逻辑
- many -sorted propositional dynamic logic 多类命题动态逻辑
- formula of propositional logic 命题逻辑公式 返回 propositional logic