- 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
Temporal logic
Stanford Encyclopedia of Philosophy (2008)
Abstract
This article has no associated abstract. (fix it)Author's Profile
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
Temporal predication with temporal parts and temporal counterparts.Thomas Sattig - 2003 - Australasian Journal of Philosophy 81 (3):355 – 368.
Bisimulations for temporal logic.Natasha Kurtonina & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (4):403-425.
Axiomatising first-order temporal logic: Until and since over linear time.Mark Reynolds - 1996 - Studia Logica 57 (2-3):279 - 302.
An interpretation of default logic in minimal temporal epistemic logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.
Logical Consecutions in Discrete Linear Temporal Logic.V. V. Rybakov - 2005 - Journal of Symbolic Logic 70 (4):1137 - 1149.
Compositional verification of multi-agent systems in temporal multi-epistemic logic.Joeri Engelfriet, Catholijn M. Jonker & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (2):195-225.
Synchronized Linear-Time Temporal Logic.Heinrich Wansing & Norihiro Kamide - 2011 - Studia Logica 99 (1-3):365-388.
Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Analytics
Added to PP
2009-01-28
Downloads
66 (#241,657)
6 months
4 (#800,606)
2009-01-28
Downloads
66 (#241,657)
6 months
4 (#800,606)
Historical graph of downloads
Author's Profile
Citations of this work
B-Theory and Time Biases.Sayid Bnefsi - 2019 - In Patrick Blackburn, Per Hasle & Peter Øhrstrøm (eds.), Logic and Philosophy of Time: Further Themes from Prior. Aalborg University Press. pp. 41-52.
Logics for Analyzing Games.Johan Van Benthem & Dominik Klein - 2019 - Stanford Encyclopedia of Philosophy.
Critical studies: Robin le poidevin, (ed.) Questions of time and tense.Ned Markosian - 2001 - Noûs 35 (4):616–629.
Formalisation of Damasio’s theory of emotion, feeling and core consciousness.Tibor Bosse, Catholijn M. Jonker & Jan Treur - 2008 - Consciousness and Cognition 17 (1):94-113.
References found in this work
Assessment Sensitivity: Relative Truth and its Applications.John MacFarlane - 2014 - Oxford: Oxford University Press.
Events in the Semantics of English: A Study in Subatomic Semantics.Terence Parsons - 1990 - MIT Press.
Future contingents and relative truth.John MacFarlane - 2003 - Philosophical Quarterly 53 (212):321–336.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
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
Server: philpapers-web-7c76586df8-pp8v9 uwo