Online Logic Resources
- Doctor Logic Awkwardly Does Logic: What is Logic?: A series of youtube videos covering the topics in an introduction to logic course. (added on 12/03/2021)
- LaTeX for Logicians: Several LaTeX packages that could be useful to logicians, e.g. for typesetting proofs. (added on 03/06/2020)
- The Proof Theory Blog: The purpose of this website is to give proof theorists a venue to communicate ideas, works-in-progress, gems, or simply observations that may be relevant to the proof theory community. The hope is that it can eventually evolve into a vibrant forum for proof theoretic discussions and collaboration. (added on 03/06/2020)
- Logic4Fun: An interactive logic modelling and solving website, by John Slaney (added on 18/05/2020)
- Computational tools for modal logics: List of accessible automated reasoning systems and other tools for modal and related logics. Resource of the International Advances in Modal Logic Initiative. (added on 18/05/2020)
- Teach Yourself Logic 2020, by Peter Smith: In the words of Peter Smith, a "guide aimed at philosophers who want to go on beyond their first introductory logic course to learn some more serious logic". (added on 13/05/2020)