Later Than Late: On the Logical Origin of the Temporal Order

Pacific Philosophical Quarterly 63 (2):193-203 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1111/j.1468-0114.1982.tb00099.x

Links

PhilArchive



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

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

Leibniz on the Logical Order of Time.Michael J. Futch - 2012 - Intellectual History Review 22 (1):91-106.
Temporal order as the origin of spatial order in embryos.B. C. Goodwin - 1972 - In J. T. Fraser, F. C. Haber & G. H. Mueller (eds.), The Study of Time. Springer Verlag. pp. 190--199.
The true bisimulations for 'since' and 'until'.Holger Sturm - 2002 - Logic and Logical Philosophy 10:173.
A Structure Theorem for Free Temporal Algebras.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (2):249-256.
Temporal non-commutative logic: Expressing time, resource, order and hierarchy.Norihiro Kamide - 2009 - Logic and Logical Philosophy 18 (2):97-126.
Expressive completeness of temporal logic of trees.Bernd-Holger Schlingloff - 1992 - Journal of Applied Non-Classical Logics 2 (2):157-180.
Some critical remarks concerning Prigogine's conception of temporal irreversibility.Guido Verstraeten - 1991 - Philosophy of Science 58 (4):639-654.
Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Decidable fragments of first-order temporal logics.Ian Hodkinson, Frank Wolter & Michael Zakharyaschev - 2000 - Annals of Pure and Applied Logic 106 (1-3):85-134.
Axiomatising first-order temporal logic: Until and since over linear time.Mark Reynolds - 1996 - Studia Logica 57 (2-3):279 - 302.
Combining Temporal Logic Systems.Marcelo Finger & Dov Gabbay - 1996 - Notre Dame Journal of Formal Logic 37 (2):204-232.
Logical Consecutions in Discrete Linear Temporal Logic.V. V. Rybakov - 2005 - Journal of Symbolic Logic 70 (4):1137 - 1149.
Completeness of Minimal Positional Calculus.Tomasz Jarmużek & Andrzej Pietruszczak - 2004 - Logic and Logical Philosophy 13:147-162.
The Order of Pascal's Politics.Virgil Martin Nemoianu - 2013 - British Journal for the History of Philosophy 21 (1):34-56.

Analytics

Added to PP
2015-02-02

Downloads
8 (#1,249,165)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Johan Van Benthem
University of Amsterdam

Citations of this work

Evaluational adjectives.Alex Silk - 2021 - Philosophy and Phenomenological Research (1):1-35.
Reasoning About Preference Dynamics.Fenrong Liu - 2011 - Dordrecht, Netherland: Springer Verlag.

View all 17 citations / Add more citations

References found in this work

No references found.

Add more references