α Logic and Infinitary Languages.
Newton C. A. da CostaCharles C. PinterPublished in: Math. Log. Q. (1976)
Keyphrases
- expressive power
- language independent
- modal logic
- classical logic
- computational properties
- formal language
- multi lingual
- multi valued
- databases
- object oriented languages
- logic programming
- cross lingual
- constraint language
- defeasible logic
- description languages
- multilingual information retrieval
- sound and complete axiomatization
- epistemic logic
- language identification
- nonmonotonic logics
- query translation
- programming language