TWO-DIMENSIONAL SEMANTICS FOR PREDICATE-FUNCTOR LANGUAGES WITH OPERATION SYMBOLS


GRÜNBERG T., GRÜNBERG D., Akçelik O.

Logique et Analyse, cilt.259-260, ss.267-286, 2022 (AHCI) identifier identifier

  • 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).