Assertion: logic's operator | /r/HasProperty | c
Facets:
Source sentences:
text: Turner’s idea is to treat Caused as a modal operator [ c ] , making this the basis of a modal nonmonotonic logic.
text: <I, S>, where S is a set of interpretations (complete, consistent sets of literals) including I. The modal operator [ c ] is given the standard semantics: where S is a set of interpretations and where I ∈ S, S ⊨