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