Assertion: logic's semantic | /r/CapableOf | use possible worlds
Facets:
Source sentences:
text: Of course, the consequence relation of the classical conditional logics is monotonic, and conditional semantics uses possible worlds, not models.