Switch to: References

Citations of:

Constructing possible worlds

Theoria 57 (1-2):77-99 (1991)

Add citations

You must login to add citations.
  1. Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice.Shahid Rahman & Nicolas Clerbout - 2015 - Cham, Switzerland: Springer.
    We now move to the demonstration of the left-to-right direction of the equivalence result. Let us assume that there is a winning $$\mathbf {P}$$ P -strategy in the dialogical game for $$\varphi $$ φ.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Um quadro dialógico para ficções como objetos hipotéticos.Shahid Rahman & Juan Redmond - 2015 - Filosofia Unisinos 16 (1).
    Recent work on the development of a dialogical approach to the logic of fiction stresses the notion of existence as choice. Moreover, this approach to existence has been combined with the notion of ontolog-ical dependence as deployed by A. Thomasson’s artifactual theory of fiction. In order to implement such a combination within the dialogical frame several predicates of ontological dependence have been de-fined. However, the definition of such predicates seems to lean on a model-theoretic semantics for mod-al logic after all. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Modal homotopy type theory.David Corfield - unknown
    Download  
     
    Export citation  
     
    Bookmark