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

Links

PhilArchive



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

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.
‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
On the Universal Principles of Tense Embedding: The Lesson from Before.Yael Sharvit - 2014 - Journal of Semantics 31 (2):ffs024.
The problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3‐Valued Logics.Walter A. Carnielli - 1987 - Mathematical Logic Quarterly 33 (1):19-29.
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.
The Makinson completeness of tense logic.R. P. Mcarthur - 1974 - Logique Et Analyse 17 (67):453.
Properties of Tense Logics.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):481-500.
Worlds and Times.Ulrich Meyer - 2006 - Notre Dame Journal of Formal Logic 47 (1):25--37.
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.
First-order logic, second-order logic, and completeness.Marcus Rossberg - 2004 - In Vincent Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Scheffler & Heinrich Wansing (eds.), First-Order Logic Revisited. Logos. pp. 303-321.
Tense Logic Without Tense Operators.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):145-171.
The English resultative perfect and its relationship to the experiential perfect and the simple past tense.Anita Mittwoch - 2008 - Linguistics and Philosophy 31 (3):323-351.
Tense Logic.Robert P. Mcarthur - 1976 - Journal of Symbolic Logic 45 (1):184-185.

Analytics

Added to PP
2016-02-04

Downloads
32 (#496,853)

6 months
4 (#775,606)

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