Quinn

Karma: 282

Minimal intuitionistic logic as a setting for logical counterfactuals

Quinn30 Jul 2015 18:06 UTC

4 points

4 comments1 min readLW link

(www.overleaf.com)

A closer look at modal bargaining agents

Quinn22 Jun 2015 21:57 UTC

3 points

1 comment1 min readLW link

(www.overleaf.com)

Meditations on Löb’s theorem and probabilistic logic [LINK]

Quinn10 Aug 2014 21:41 UTC

17 points

0 comments1 min readLW link

Notes/blog posts on two recent MIRI papers

Quinn14 Jul 2013 23:11 UTC

35 points

3 comments1 min readLW link