home.social

#dana_scott — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #dana_scott, aggregated by home.social.

  1. Friedrich Wilhelm Grafe @[email protected] ·

    just found from researchgate

    #metaphysics #ontological_proof
    #modal_logic #HOL #Kurt_Gödel #Dana_Scott

    this open access paper may be of interest to rather everyone in the field

    link.springer.com/article/10.1

    #metaphysics #ontological_proof #modal_logic #hol #kurt_godel #dana_scott
  2. Friedrich Wilhelm Grafe @[email protected] ·

    just found from researchgate

    #metaphysics #ontological_proof
    #modal_logic #HOL #Kurt_Gödel #Dana_Scott

    this open access paper may be of interest to rather everyone in the field

    link.springer.com/article/10.1

    #metaphysics #ontological_proof #modal_logic #hol #kurt_godel #dana_scott
  3. Friedrich Wilhelm Grafe @[email protected] ·

    just found from researchgate

    #metaphysics #ontological_proof
    #modal_logic #HOL #Kurt_Gödel #Dana_Scott

    this open access paper may be of interest to rather everyone in the field

    link.springer.com/article/10.1

    #metaphysics #ontological_proof #modal_logic #hol #kurt_godel #dana_scott
  4. Friedrich Wilhelm Grafe @[email protected] ·

    just found from researchgate

    #metaphysics #ontological_proof
    #modal_logic #HOL #Kurt_Gödel #Dana_Scott

    this open access paper may be of interest to rather everyone in the field

    link.springer.com/article/10.1

    #dana_scott #kurt_godel #hol #modal_logic #ontological_proof #metaphysics
  5. Friedrich Wilhelm Grafe @[email protected] ·

    just found from researchgate

    #metaphysics #ontological_proof
    #modal_logic #HOL #Kurt_Gödel #Dana_Scott

    this open access paper may be of interest to rather everyone in the field

    link.springer.com/article/10.1

    #metaphysics #ontological_proof #modal_logic #hol #kurt_godel #dana_scott