Non Standard Logics (Popularity: ): A comprehensive listing of flavours of non-standard logic with brief descriptions and references, compiled by ... Infinitary Logic (Popularity: ): Article in the Stanford Encyclopaedia of Philosophy by John L. Bell. Infinitary Logic is a ... Logic System Interrelationships (Popularity: ): Shows how a number of representative logics fit together. The interrelationships usually given as something ... What are Weak Arithmetics (Popularity: ): Notes defining the subject. Available in HTML and PS formats. Computability Logic (Popularity: ): Wikipedia (free encyclopedia) article. Computational Tools for Modal Logic (Popularity: ): Resources collected by Renate Schmidt. Modal Logic (Popularity: ): A discussion of modal logic by John McCarthy. Modal Logic (Popularity: ): Originally the study of deductive behavior of the expressions `it is necessary that' and `it ... Modal Logic (Popularity: ): Online book by J. Jay Zeman. The Calculus of Structures - Modal Logics (Popularity: ): Several normal propositional modal logics are systematically presented in the calculus of structures and cut ...