TWO-DIMENSIONAL SEMANTICS FOR PREDICATE-FUNCTOR LANGUAGES WITH OPERATION SYMBOLS
Logique et Analyse, cilt.259-260, ss.267-286, 2022 (AHCI, Scopus)
- 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).