All links of Computational Logic

Computability Logic

---

Non Standard Logics

---

Infinitary Logic

---

Logic System Interrelationships

---

Jon Cohen's That Logic Blog

---

Richard Zach's Logic and Philosophy Blog

---

Computational Logic related site:

• CCL II: Construction of Computational Logics II

• Transactions on Computational Logic

• ACM Transactions on Computational Logic

• CLIMA'02 - Computational Logic in Multi-Agent Systems

• Transactions on Computational Logic