The Completeness of Presupposition-Free Tense Logic

&
Mathematical Logic Quarterly 25 (13-18):193-208 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19790251302

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

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

The Completeness of Presupposition‐Free Tense Logic.Robert F. Barnes & Raymond D. Gumb - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13‐18):193-208.
Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Tense Logic.Ulrich Meyer - 2015 - Philosophy Compass 10 (6):406-419.
Completeness Theorems for Some Presupposition-Free Logics.H. Leblanc & R. H. Thomason - 1972 - Journal of Symbolic Logic 37 (2):424-425.
Review: H. Leblanc, R. H. Thomason, Completeness Theorems for Some Presupposition-Free Logics. [REVIEW]Theodore Hailperin - 1972 - Journal of Symbolic Logic 37 (2):424-425.
Properties of Tense Logics.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):481-500.
Presuppositional completeness.Wojciech Buszkowski - 1989 - Studia Logica 48 (1):23 - 34.
‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic.Linda Postniece - unknown
Tense Logic Without Tense Operators.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):145-171.
A Completeness Result for Quantificational Tense Logic.Robert P. McArthur & Hugues Leblanc - 1976 - Mathematical Logic Quarterly 22 (1):89-96.
Temporal Reference in Linear Tense Logic.M. J. Cresswell - 2010 - Journal of Philosophical Logic 39 (2):173-200.
A Completeness Proof For An Infinitary Tense Logic.Goran Sundholm - 1977 - Bulletin of the Section of Logic 6 (2):70-72.
A free IPC is a natural logic: Strong completeness for some intuitionistic free logics.Carl J. Posy - 1982 - Topoi 1 (1-2):30-43.

Analytics

Added to PP
2017-02-17

Downloads
5 (#1,457,296)

6 months
1 (#1,428,112)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

“Conservative” Kripke closures.Raymond D. Gumb - 1984 - Synthese 60 (1):39 - 49.

Add more citations

References found in this work

No references found.

Add more references