Assertion: modal logic | /r/CapableOf | use three-valued logic
Facets:
Source sentences:
text: Tarski–Łukasiewicz attempt to axiomatize modal logic using a three-valued logic, "it is possible that..."