Translator Disclaimer
Fall 1995 A Distinguishable Model Theorem for the Minimal US-Tense Logic
Fabio Bellissima, Anna Bucalo
Notre Dame J. Formal Logic 36(4): 585-594 (Fall 1995). DOI: 10.1305/ndjfl/1040136918

Abstract

A new concept of model for the US-tense logic is introduced, in which ternary relations of betweenness are adjoined to the usual early-later relation. The class of these new models, which contains the class of Kripke models, satisfies, contrary to that, the Distinguishable Model Theorem, in the sense that each model is equivalent to a model in which no two points verify exactly the same formulas.

Citation

Download Citation

Fabio Bellissima. Anna Bucalo. "A Distinguishable Model Theorem for the Minimal US-Tense Logic." Notre Dame J. Formal Logic 36 (4) 585 - 594, Fall 1995. https://doi.org/10.1305/ndjfl/1040136918

Information

Published: Fall 1995
First available in Project Euclid: 17 December 2002

zbMATH: 0843.03007
MathSciNet: MR1368469
Digital Object Identifier: 10.1305/ndjfl/1040136918

Subjects:
Primary: 03B45

Rights: Copyright © 1995 University of Notre Dame

JOURNAL ARTICLE
10 PAGES


SHARE
Vol.36 • No. 4 • Fall 1995
Back to Top