Switch to: References

Citations of:

Temporal logic

Stanford Encyclopedia of Philosophy (2008)

Add citations

You must login to add citations.
  1. Krister Segerberg on Logic of Actions.Robert Trypuz (ed.) - 2013 - Dordrecht, Netherland: Springer Verlag.
    Belief revision from the point of view of doxastic logic. Logic Journal of the IGPL, 3(4), 535–553. Segerberg, K. (1995). Conditional action. In G. Crocco, L. Fariñas, & A. Herzig (Eds.), Conditionals: From philosophy to computer science, Studies ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Critical Studies: Robin le Poidevin, (Ed.) Questions of Time and Tense.Ned Markosian - 2001 - Noûs 35 (4):616–629.
  • Logics for Analyzing Games.Johan Van Benthem & Dominik Klein - 2019 - Stanford Encyclopedia of Philosophy.
     
    Export citation  
     
    Bookmark  
  • Temporal Logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.
     
    Export citation  
     
    Bookmark  
  • Temporal Logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.
  • Logical Properties of Foundational Mereogeometrical Relations in Bio-Ontologies.Thomas Bittner - 2009 - Applied ontology 4 (2):109-138.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • 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, Denmark: Aalborg University Press. pp. 41-52.
    We care not only about what experiences we have, but when we have them too. However, on the B-theory of time, something’s timing isn’t an intrinsic way for that thing to be or become. Given B-theory, should we be rationally indifferent about the timing per se of an experience? In this paper, I argue that B-theorists can justify time-biased preferences for pains to be past rather than present and for pleasures to be present rather than past. In support of this (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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.
    This paper contributes an analysis and formalisation of Damasio’s theory on core consciousness. Three important concepts in this theory are ‘emotion’, ‘feeling’ and ‘feeling a feeling’ . In particular, a simulation model is described of the dynamics of basic mechanisms leading via emotion and feeling to core consciousness, and dynamic properties are formally specified that hold for these dynamics at a more global level. These properties have been automatically checked for the simulation model. Moreover, a formal analysis is made of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Presentism and Causal Processes.Ernesto Graziani - 2018 - Argumenta 4 (1):159-176.
    Presentism is the view that only present temporal entities (tenselessly) exist. A widely-discussed problem for presentism concerns causation and, more specifically, the supposed cross-temporally relational character of it. I think that the best reply to this problem can already be found in the literature on temporal ontology: it consists, roughly, in showing that (at least) some of the main approaches to causation can be rephrased so as to avoid commitment to any cross-temporal relation, including the causal relation itself. The main (...)
    Direct download  
     
    Export citation  
     
    Bookmark