经典模态逻辑-一流百科

经典模态逻辑

经典模态逻辑在模态逻辑中，经典模态逻辑L是包含（作为公理或定理）模态算子的二重性的任何模态逻辑◊A↔¬◻¬A{displaystyle/DiamondAleftrightarrow/lnot/Box/l...

词条百科