A Completeness Result for Quantificational Tense Logic

&
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):89-96 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19760220110

Other Versions

original McArthur, Robert P.; Leblanc, Hugues (1976) "A Completeness Result for Quantificational Tense Logic". Mathematical Logic Quarterly 22(1):89-96

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

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

A Completeness Result for Quantificational Tense Logic.Robert P. McArthur & Hugues Leblanc - 1976 - Mathematical Logic Quarterly 22 (1):89-96.
Leblanc Hugues. An extension of the equivalence calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 104–105. [REVIEW]Gene F. Rose - 1962 - Journal of Symbolic Logic 27 (2):248.
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.
Post Completeness and Ultrafilters.David Makinson & Krister Segerberg - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27):385-388.

Analytics

Added to PP
2016-02-04

Downloads
36 (#626,850)

6 months
4 (#1,247,093)

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

No references found.

Add more references