Assertion: monotonic logic | /r/HasProperty | formalized
Facets:
Source sentences:
text: Default logic and autoepistemic logic are the most common examples of non-monotonic logics that have been formalized that way.