The Stanford Encyclopedia of Philosophy provides an online encyclopedia with browse tools, new entries, and chronological archives.
Pick
24 alternativesModalLogic
vsLogitext
ModalLogic vs Logitext
How do ModalLogic and Logitext compare? Here are the facts side by side: pricing, platforms, open-source status and what each one is for.
| Directory detail | ModalLogic | Logitext |
|---|---|---|
| What it is | This modal logic playground lets users edit a model and evaluate formulas using selected truth values. | The Logitext interactive tutorial teaches the sequent calculus through a simple set of inference rules. |
| Website | ||
| Type | Website | Website |
| Topic | ||
| Pricing | Not confirmed | Not confirmed |
| Platforms | Web | Web |
| Open source | Not stated | Not stated |
| Language | — | English |
| Alternatives |
Other options to consider
Sites similar to both ModalLogic and Logitext.
The U-boat Archive provides documents and photographs about the Battle of the Atlantic.
Pessimists Archive documents historical panics about technology through a timeline and related articles.
A Book of Creatures is a guide to beings from myth, legend, and folklore.
Cost of Living provides cost-of-living data and information about the Numbeo API.
The Retro Web documents computer hardware, with its catalog presented through a web application.