whatUseek Collection Sites (submit a site ):
Give your site great
placement in this category in as little as two business days!
whatUseek Directory Site Listings:
Computational Tools for Modal Logic  Resources collected by Renate Schmidt.
Dialogue Logic  Homepage maintained by Claus Zinn. Dialogue Logic is a gametheoretic approach to the semantics of logic proposed by Paul Lorenzen, in which validity is modelled by the existence of a winning strategy in a dialogue game between an advocate and an opponent.
Infinitary Logic  Article in the Stanford Encyclopaedia of Philosophy by John L. Bell. Infinitary Logic is a branch of formal logic where finitary formulae are replaced by potentially infinitary mathematical entities.
Logic System Interrelationships  Shows how a number of representative logics fit together. The interrelationships usually given as something of the form: System X is system Y plus the axiom Z. By John Halleck.
Modal Logic  Originally the study of deductive behavior of the expressions `it is necessary that' and `it is possible that', now also includes logics for belief, tense, the deontic (moral) expressions. From the Stanford Encyclopedia, by James W. Garson.
Non Standard Logics  A comprehensive listing of flavours of nonstandard logic with brief descriptions and references, compiled by Peter Suber.
Topics in Logic and Proof Theory  Brief introductions to combinatory logic, the incompleteness theorems and independence results, by Andrew D Burbanks.
