Assertion: propositional logic | /r/HasAspect | a kripke semantics
Facets:
Source sentences:
text: Intuitionistic logic, too, has a Kripke semantics, though special valuation clauses are needed for ‘\({\sim}\)