Assertion: logic's semantic | /r/HasProperty | existential
Facets:
value: in both cases
type: TEMPORAL
Source sentences:
text: In both cases, the intended semantics is existential: the Brouwer-Heyting-Kolmogorov interpretation of Intuitionistic Logic (Heyting 1934, Troelstra and van Dalen 1988, van Dalen 1986) and Gödel’s provability reading of \(\mathsf{S4}\)