Justification announcements in discrete time. Part I: Completeness results

Logic Journal of the IGPL 26 (3):259-289 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzy002

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

Prices in Financial Markets.Michael U. Dothan - 1990 - Oxford University Press USA.
Is space-time discrete or continuous? — An empirical question.Peter Forrest - 1995 - Synthese 103 (3):327--354.
Announcement as effort on topological spaces.Hans van Ditmarsch, Sophia Knight & Aybüke Özgün - 2019 - Synthese 196 (7):2927-2969.
Logic for update products and steps into the past.Joshua Sack - 2010 - Annals of Pure and Applied Logic 161 (12):1431-1461.
In Defence of Discrete Space and Time.Jean Paul van Bendegem - 1995 - Logique Et Analyse 38 (150-1):127-150.
A discrete solution for the paradox of Achilles and the tortoise.Vincent Ardourel - 2015 - Synthese 192 (9):2843-2861.
True lies.Thomas Ågotnes, Hans van Ditmarsch & Yanjing Wang - 2018 - Synthese 195 (10):4581-4615.
Calling time on digital clocks.David Sloan - 2015 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 52 (Part A):62-68.
The topology of justification.Sergei Artemov & Elena Nogina - 2008 - Logic and Logical Philosophy 17 (1-2):59-71.
From discrete to continuous time.H. Jerome Keisler - 1991 - Annals of Pure and Applied Logic 52 (1-2):99-141.
Can discrete time make continuous space look discrete?Claudio Mazzola - 2014 - European Journal for Philosophy of Science 4 (1):19-30.
A Model of Wavefunction Collapse in Discrete Space-Time.Shan Gao - 2006 - International Journal of Theoretical Physics 45 (10):1965-1979.
Some decision problems of enormous complexity.Harvey Friedman - manuscript
From time atoms to space-time quantization: the idea of discrete time, ca 1925–1936.Helge Kragh & Bruno Carazza - 1994 - Studies in History and Philosophy of Science Part A 25 (3):437-462.
Completeness of a first-order temporal logic with time-gaps.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - Theoretical Computer Science 160 (1-2):241-270.

Analytics

Added to PP
2018-02-28

Downloads
12 (#1,020,711)

6 months
2 (#1,136,865)

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

Add more references