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

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

Logique et Analyse, vol.259-260, pp.267-286, 2022 (AHCI) identifier identifier

  • Publication Type: Article / Article
  • Volume: 259-260
  • Publication Date: 2022
  • Doi Number: 10.2143/lea.259.0.3291806
  • Journal Name: Logique et Analyse
  • Journal Indexes: Arts and Humanities Citation Index (AHCI), Scopus, IBZ Online, Periodicals Index Online, MLA - Modern Language Association Database, Philosopher's Index, zbMATH
  • Page Numbers: pp.267-286
  • Keywords: 'at (world) w', 'means that', Possible world, Predicate functor, Satisfaction, Truth, Two-dimensional semantics
  • Middle East Technical University Affiliated: Yes

Abstract

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