| 1. | Non Standard Logics | | | A comprehensive listing of flavours of non-standard logic with brief descriptions and references, compiled by Peter Suber.
www.earlham.edu |
| 2. | 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.
plato.stanford.edu |
| 3. | 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.
plato.stanford.edu |
| 6. | Mally's Deontic Logic | | | Discussion of Ernst Mally's logic of obligation; from the Stanford Encyclopedia by Gert-Jan Lokhorst.
plato.stanford.edu |
| | |