MODEL THEORY FOR TENSE LOGICS,

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.

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1969
Accession Number
AD0693632

Entities

People

  • Dov Gabbay

Organizations

  • Hebrew University of Jerusalem

Tags

DTIC Thesaurus Topics

  • Interpolation
  • Mathematical Analysis
  • Mathematics
  • Model Theory
  • Models
  • Semantics
  • Theorems

Fields of Study

  • Mathematics

Readers

  • Finite Element Method (FEM) for solving Partial Differential Equations (PDEs)
  • Mathematical Modeling and Probability Theory.