LOGIQUE ET ANALYSE, sa.264, ss.277-325, 2023 (AHCI, Scopus)
We construct a framework of two-dimensional semantics in which the notions of two-dimensional denotation, satisfaction, and truth are explicated in terms of the operators `means' and `means that', and operators of the form `at w' (where `w', denotes a possible world). We show then that the notions of nomic truth and analyticity can be explicated within our framework of two-dimensional semantics.