formula
In the context of propositional knowledge, the schema 'S knows that p' is used, where 'S' represents the subject who has knowledge and 'p' represents the proposition that is known.

Authors

Sources

Referenced by nodes (1)