Switch to: References

Citations of:

Temporal logic

Stanford Encyclopedia of Philosophy (2008)

Add citations

You must login to add citations.
  1. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • 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 ...
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Temporal logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark  
  • Logical properties of foundational mereogeometrical relations in bio-ontologies.Thomas Bittner - 2006 - Applied ontology 4 (2):109-138.
    Download  
     
    Export citation  
     
    Bookmark   3 citations