Accession Number : AD0693632

Title :   MODEL THEORY FOR TENSE LOGICS,

Corporate Author : HEBREW UNIV JERUSALEM (ISRAEL) APPLIED LOGIC BRANCH

Personal Author(s) : Gabbay,Dov

Report Date : APR 1969

Pagination or Media Count : 69

Abstract : The paper gives a complete semantics for a wide class of tense predicate logics. Ultraproducts of tense structures are further defined and are applied to prove compactness and the Craig interpolation theorem.

Descriptors :   (*MATHEMATICAL LOGIC, *MODEL THEORY), SEMANTICS, SET THEORY, COMPUTATIONAL LINGUISTICS, OPERATORS(MATHEMATICS), THEOREMS, ISRAEL

Subject Categories : Theoretical Mathematics

Distribution Statement : APPROVED FOR PUBLIC RELEASE