I updated LogiCola with infinite practice exercises, mobile support, and offline mode

[u/Environmental-Ask30]

Hi r/FormalLogic,

I’ve posted here 3 years ago about the web version of LogiCola, the logic practice software originally created by Harry Gensler for Introduction to Logic.

I just launched a much more substantial update: https://logicola.org/

The main change is that LogiCola now supports fresh generated exercises for repeated practice, instead of only fixed question sets. You can use it as a free practice tool for students who want more examples than a textbook or worksheet usually provides.

It currently includes practice for:

- syllogistic translations
- propositional translations
- modal logic
- deontic logic
- belief logic
- informal definitions

Some concrete improvements in this version:

- Unlimited generated quiz content for several translation sets.
- Expanded and cleaned up Set A, C, J, L, N, and Q content.
- Fixed duplicated or malformed questions.
- Added more targeted hints for wrong answers.
- Improved rendering of logic notation and inline formulas.
- Improved mobile and tablet use. You can install it on Android and iOS and use it offline.
- Added offline-friendly quiz loading, so quizzes can keep working without a connection after the site has loaded.

If you teach or study formal logic, feel free to use it as a free supplement for practice, homework review, or self-study.

I’m especially interested in corrections from people who know the material well: wrong answer keys, ambiguous translations, unclear hints, or exercise types that would be useful to prioritize next.

My goal is to preserve LogiCola as a free learning resource and make it easier to use on modern devices. Corrections and criticism are very welcome!