Journal of Philosophical Logic 23 (2):197 - 224 (1994)

Abstract
We present a Hilbert style axiomatisation for the set of formulas in the temporal language with F and P which are valid over non-transitive cyclical flows of time. We also give a simpler axiomatisation using the slightly controversial 'irreflexivity rule' and go on to prove the decidability of any temporal logic over cyclical time provided it uses only connectives with first-order tables
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01050343
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,489
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Time and Modality.Arthur N. Prior - 1955 - Greenwood Press.
The Structure of Time.W. Newton-Smith - 1980 - Routledge & Kegan Paul.
The Completeness of the First-Order Functional Calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
Albert Einstein: Philosopher-Scientist. [REVIEW]Stephen Toulmin - 1952 - Philosophical Quarterly 2 (99):557-562.

View all 9 references / Add more references

Citations of this work BETA

Explaining Causal Loops.U. Meyer - 2012 - Analysis 72 (2):259-264.
On the Relation Between Modality and Tense.Fabrice Correia & Sven Rosenkranz - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (6):586-604.
Times in Tense Logic.Ulrich Meyer - 2009 - Notre Dame Journal of Formal Logic 50 (2):201--19.
Tense Logic.Ulrich Meyer - 2015 - Philosophy Compass 10 (6):406-419.
Finite H-Dimension Does Not Imply Expressive Completeness.Ian Hodkinson - 1994 - Journal of Philosophical Logic 23 (5):535 - 573.

View all 6 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
54 ( #212,250 of 2,520,837 )

Recent downloads (6 months)
1 ( #405,623 of 2,520,837 )

How can I increase my downloads?

Downloads

My notes