Statements

0 references
EpistemicNecessityModality indicates that the expressed proposition is known to be true. Also known as CategoricalModality [Palmer 2001, 37, 68-69].
0 references