Switch to: References

Add citations

You must login to add citations.
  1. The Machine Scenario: A Computational Perspective on Alternative Representations of Indeterminism.Vincent Grandjean & Matteo Pascucci - 2020 - Minds and Machines 31 (1):59-74.
    In philosophical logic and metaphysics there is a long-standing debate around the most appropriate structures to represent indeterministic scenarios concerning the future. We reconstruct here such a debate in a computational setting, focusing on the fundamental difference between moment-based and history-based structures. Our presentation is centered around two versions of an indeterministic scenario in which a programmer wants a machine to perform a given task at some point after a specified time. One of the two versions includes an assumption about (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Axiomatization of a Branching Time Logic with Indistinguishability Relations.Alberto Gatto - 2016 - Journal of Philosophical Logic 45 (2):155-182.
    Trees with indistinguishability relations provide a semantics for a temporal language “composed by” the Peircean tense operators and the Ockhamist modal operator. In this paper, a finite axiomatization with a non standard rule for this language interpreted over bundled trees with indistinguishability relations is given. This axiomatization is proved to be sound and strongly complete.
    Download  
     
    Export citation  
     
    Bookmark  
  • Is the semantics of branching structures adequate for non-metric ockhamist tense logics?Hirokazu Nishimura - 1979 - Journal of Philosophical Logic 8 (1):477 - 478.
    Download  
     
    Export citation  
     
    Bookmark   8 citations