Switch to: Citations

Add references

You must login to add references.
  1. A quantified logic of evidence.Melvin Fitting - 2008 - Annals of Pure and Applied Logic 152 (1):67-83.
    A propositional logic of explicit proofs, LP, was introduced in [S. Artemov, Explicit provability and constructive semantics, The Bulletin for Symbolic Logic 7 1–36], completing a project begun long ago by Gödel, [K. Gödel, Vortrag bei Zilsel, translated as Lecture at Zilsel’s in: S. Feferman , Kurt Gödel Collected Works III, 1938, pp. 62–113]. In fact, LP can be looked at in a more general way, as a logic of explicit evidence, and there have been several papers along these lines. (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Facing the future: agents and choices in our indeterminist world.Nuel D. Belnap - 2001 - New York: Oxford University Press. Edited by Michael Perloff & Ming Xu.
    Here is an important new theory of human action, a theory that assumes actions are founded on choices made by agents who face an open future.
    Download  
     
    Export citation  
     
    Bookmark   208 citations  
  • Facing the Future: Agents and Choices in Our Indeterminist World.Nuel Belnap, Michael Perloff & Ming Xu - 2001 - Philosophical Quarterly 52 (209):660-662.
    Download  
     
    Export citation  
     
    Bookmark   235 citations  
  • Remarks on the logic of imagination. A step towards understanding doxastic control through imagination.Heinrich Wansing - 2017 - Synthese 194 (8):2843-2861.
    Imagination has recently attracted considerable attention from epistemologists and is recognized as a source of belief and even knowledge. One remarkable feature of imagination is that it is often and typically agentive: agents decide to imagine. In cases in which imagination results in a belief, the agentiveness of imagination may be taken to give rise to indirect doxastic control and epistemic responsibility. This observation calls for a proper understanding of agentive imagination. In particular, it calls for the development of a (...)
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Bewirken.Franz von Kutschera - 1986 - Erkenntnis 24 (3):253 - 281.
    Download  
     
    Export citation  
     
    Bookmark   26 citations