Assertion: classical logic | /r/HasProperty | studied
Facets:
Source sentences:
text: Stronger classical logics such as second-order logic or infinitary logic are also studied, along with nonclassical logics such as intuitionistic logic.