Discrete linear future time without axioms

Studia Logica 35 (3):273 - 278 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02282489

Links

PhilArchive



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

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

Time, euclidean geometry and relativity.Roy Lisker - unknown
Some considerations on branching areas of time.ElŻbieta Hajnicz - 1999 - Journal of Logic, Language and Information 8 (1):17-43.
Is space-time discrete or continuous? — An empirical question.Peter Forrest - 1995 - Synthese 103 (3):327--354.
Axiomatising first-order temporal logic: Until and since over linear time.Mark Reynolds - 1996 - Studia Logica 57 (2-3):279 - 302.
In Defence of Discrete Space and Time.Jean Paul van Bendegem - 1995 - Logique Et Analyse 38 (150-1):127-150.
Decidable discrete linear orders.M. Moses - 1988 - Journal of Symbolic Logic 53 (2):531-539.
Variables aggregation in time varying discrete systems.Luis Sanz & Rafael Bravo de la Parra - 1998 - Acta Biotheoretica 46 (3):273-297.
Cut-free sequent and tableau systems for propositional diodorean modal logics.Rajeev Goré - 1994 - Studia Logica 53 (3):433 - 457.
Linear discrete models with different time scales.Eva Sánchez, Rafael Bravo Parra & Pierre Auger - 1995 - Acta Biotheoretica 43 (4).

Analytics

Added to PP
2009-01-28

Downloads
28 (#583,929)

6 months
9 (#349,594)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Krister Segerberg
Uppsala University

Citations of this work

Dynamic topological logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
Dynamic topological logic.Philip Kremer & Giorgi Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
The modal logic of continuous functions on cantor space.Philip Kremer - 2006 - Archive for Mathematical Logic 45 (8):1021-1032.

Add more citations

References found in this work

Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..
Past, present, and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.
Always.G. H. von Wright - 1968 - Theoria 34 (3):208-221.
“Always”.G. H. Wright - 1968 - Theoria 34 (3):208-221.

Add more references