Posts tagged logic


There are 17 posts tagged with logic.

If you are interested in "logic" why not subscribe to the Atom feed or RSS feed?

FP-Syd, August 2013

The August 2013 meeting of the FP-Syd functional programming group in Sydney heard talks about simulation testing, functional languages targetting Javascript, and SAT solving.


Wanted: a better understanding of constructive logic


Long time no blog


Three new philosophy books


Great Moments in Logic...


Goals: the Motivation of Procrastination


Tableau Methods for Modal Logics


Kripke: Names, necessity, and identity


A little bit on logic and trans-world identity


More on Modal Logic