On the Relationship Between Naturalistic Semantics and Individuation Criteria for Terms in a Language of Thought.
Robert D. RupertPublished in: Synth. (1998)
Keyphrases
- precisely defined
- operational semantics
- logical language
- model theoretic
- programming language
- specification language
- denotational semantics
- intended meaning
- disjunctive logic programming
- definition language
- logic programming language
- selection criteria
- multi criteria
- language constructs
- dynamic logic
- formal languages
- language learning
- conceptual model
- uniform manner
- co occurrence