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