Stav dette: Semantik Teori dan Analisis