Atıf İçin Kopyala
GRÜNBERG T., GRÜNBERG D., Akçelik O.
Logique et Analyse, cilt.259-260, ss.267-286, 2022 (AHCI)
-
Yayın Türü:
Makale / Tam Makale
-
Cilt numarası:
259-260
-
Basım Tarihi:
2022
-
Doi Numarası:
10.2143/lea.259.0.3291806
-
Dergi Adı:
Logique et Analyse
-
Derginin Tarandığı İndeksler:
Arts and Humanities Citation Index (AHCI), Scopus, IBZ Online, Periodicals Index Online, MLA - Modern Language Association Database, Philosopher's Index, zbMATH
-
Sayfa Sayıları:
ss.267-286
-
Anahtar Kelimeler:
'at (world) w', 'means that', Possible world, Predicate functor, Satisfaction, Truth, Two-dimensional semantics
-
Orta Doğu Teknik Üniversitesi Adresli:
Evet
Özet
We construct a framework of two-dimensional (2D) semantics for predicate-functor languages with operation symbols and free variables. We show how the satisfaction conditions (at a world) of predicates are determined by their meaning specifications (at the same world or at a different one).