A Preservation Theorem for Tense Logic

Mathematical Logic Quarterly 26 (19‐21):331-335 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19800261905

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
A Distinguishable Model Theorem for the Minimal US-Tense Logic.Fabio Bellissima & Anna Bucalo - 1995 - Notre Dame Journal of Formal Logic 36 (4):585-594.
A relative interpolation theorem for infinitary universal Horn logic and its applications.Alexej P. Pynko - 2006 - Archive for Mathematical Logic 45 (3):267-305.
Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.
On Preservation Theorems for Two-Variable Logic.Erich Gradel & Eric Rosen - 1999 - Mathematical Logic Quarterly 45 (3):315-325.
Preservation theorem and relativization theorem for cofinal extensions.Nobuyoshi Motohashi - 1986 - Journal of Symbolic Logic 51 (4):1022-1028.
Tense Logic Without Tense Operators.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):145-171.
Model theory for tense logic: Saturated and special models with applications to the tense hierarchy.Hirokazu Nishimura - 1981 - Studia Logica 40 (2):89 - 98.
Uniform Short Proofs for Classical Theorems.Kees Doets - 2001 - Notre Dame Journal of Formal Logic 42 (2):121-127.
A note on the interpolation property in tense logic.Frank Wolter - 1997 - Journal of Philosophical Logic 26 (5):545-551.
Syntactic Preservation Theorems for Intuitionistic Predicate Logic.Jonathan Fleischmann - 2010 - Notre Dame Journal of Formal Logic 51 (2):225-245.
Worlds and Times.Ulrich Meyer - 2006 - Notre Dame Journal of Formal Logic 47 (1):25--37.

Analytics

Added to PP
2013-11-24

Downloads
16 (#911,480)

6 months
3 (#984,114)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Past, Present and Future.Arthur N. Prior - 1967 - Oxford, GB: Oxford University Press.
Model theory for tense logics.Dov M. Gabbay - 1975 - Annals of Mathematical Logic 8 (1):185.
Normal modal model theory.Kenneth A. Bowen - 1975 - Journal of Philosophical Logic 4 (2):97 - 131.

Add more references