Types of modal operator
- en modal scheme bf (n) ➜
- en basic belief feature (n) ➜
- en bi mod bivalence (n) ➜
- en bi mod cut (n) ➜
- en bi mod detachment weak (n) ➜
- en bi mod dilemma (n) ➜
- en bi mod identity (n) ➜
- en bi mod identity consequent (n) ➜
- en bi mod rational monotonicity (n) ➜
- en bi mod semi transitivity (n) ➜
- en bi mod specificity (n) ➜
- en bi mod strengthening (n) ➜
- en bi mod trivial centering (n) ➜
- en bi mod trivial implication (n) ➜
- en bi mod weak monotonicity (n) ➜
- en binary modal operator (n) ➜
- en closed under beckers rule (n) ➜
- en common binary modal operator (n) ➜
- en common modal operator (n) ➜
- en common unary modal operator (n) ➜
- More »
Links to other resources
- sw.opencyc.org /2012/05/10/concept/en/ModalOperator