- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The modal predicate logic of real time
Logique Et Analyse 53 (209):3-7 (2010)
Abstract
The paper presents a simple proof of an early result by Dana Scott that the modal predicate logic of real time cannot be recursively axiomatized. © 2011 Elsevier B.V., All rights reserved.Author's Profile
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
The axiom of Mckinsey-Sobociński k1 in the framework of discussive logics.Marek Nasieniewski - 2003 - Logique Et Analyse 46:315-324.
Pure term models for modal, intensional set theory.R. Hinnion - 2018 - Logique Et Analyse 244:513-520.
Socratic proofs for some normal modal propositional logics.D. Leszczyńska-Jasion - 2004 - Logique Et Analyse 47:259-285.
A three-valued modal tense logic for the master argument.Seiki Akama, Tetsuya Murai & Sadaaki Miyamoto - 2011 - Logique Et Analyse 54 (213):19-30.
On canonical modal logics that are not elementarily determined.Robert Goldblatt, Ian Hodkinson & Yde Venema - 2003 - Logique Et Analyse 46:77-101.
Actuality, quantifiers, and actuality quantifiers.D. R. Gilbert - 2015 - Logique Et Analyse 58:457-486.
Prior on the logic and the metaphysics of time.Roberta Ballarin - 2007 - Logique Et Analyse 50:317-334.
Analytics
Added to PP
2013-12-19
Downloads
9 (#2,095,584)
6 months
5 (#1,638,944)
2013-12-19
Downloads
9 (#2,095,584)
6 months
5 (#1,638,944)
Historical graph of downloads
Author's Profile
Citations of this work
Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.
Axiomatising the Prior Future in Predicate Logic.Max Cresswell - 2013 - Logica Universalis 7 (1):87-101.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation