In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 439-458 (2014)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
Buy the book Find it on Amazon.com
ISBN(s)
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,231
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

The Complexity of Temporal Logic Over the Reals.Mark Reynolds - 2010 - Annals of Pure and Applied Logic 161 (8):1063-1096.
The Decision Problem for Linear Temporal Logic.John P. Burgess & Yuri Gurevich - 1985 - Notre Dame Journal of Formal Logic 26 (2):115-128.

Add more references

Citations of this work BETA

Temporal Logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.
Temporal Logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.

Add more citations

Similar books and articles

The Complexity of Temporal Logic Over the Reals.Mark Reynolds - 2010 - Annals of Pure and Applied Logic 161 (8):1063-1096.
Synthesis for Temporal Logic Over the Reals.Tim French, John McCabe-Dansted & Mark Reynolds - 2012 - In Thomas Bolander, Torben Braüner, Giampaolo Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 217-238.
Regular Reals.Guohua Wu - 2005 - Mathematical Logic Quarterly 51 (2):111-119.
Complexity of Reals in Inner Models of Set Theory.Boban Velickovic & Hugh Woodin - 1998 - Annals of Pure and Applied Logic 92 (3):283-295.
Complexity of Reals in Inner Models of Set Theory.Boban Velickovic & W. Hugh Woodin - 1998 - Annals of Pure and Applied Logic 92 (3):283-295.
Cohen Reals From Small Forcings.Janusz Pawlikowski - 2001 - Journal of Symbolic Logic 66 (1):318-324.
Cohen Reals From Small Forcings.Janusz Pawlikowski - 2001 - Journal of Symbolic Logic 66 (1):318-324.
Needed Reals and Recursion in Generic Reals.Andreas Blass - 2001 - Annals of Pure and Applied Logic 109 (1-2):77-88.
Terminating Tableau Systems for Hybrid Logic with Difference and Converse.Mark Kaminski & Gert Smolka - 2009 - Journal of Logic, Language and Information 18 (4):437-464.
Counterfactuals and Semantic Tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.
Mapping a Set of Reals Onto the Reals.Arnold W. Miller - 1983 - Journal of Symbolic Logic 48 (3):575-584.

Analytics

Added to PP index
2018-02-24

Total views
3 ( #1,362,300 of 2,518,150 )

Recent downloads (6 months)
1 ( #408,577 of 2,518,150 )

How can I increase my downloads?

Downloads

My notes