1
HP Computer Museum
hpmuseum.netAlso covers humanities · same kind of website
The HP Computer Museum documents HP computers, including the company's early 2116 model.
Alternatives
The Best ModalLogic Alternatives in 2026
24 alternatives
Looking for something like ModalLogic? Here are 24 alternatives, ranked by how closely they match it on purpose, features and platforms.
About ModalLogicrkirsling.github.io/modallogic
VisitThis modal logic playground lets users edit a model and evaluate formulas using selected truth values.
Top picks at a glance
First suggestionHP Computer MuseumThe HP Computer Museum documents HP computers, including…Another optionWildWindsWildwinds provides a reference for identifying and valuing…
Quick comparison
| # | Alternative | Pricing | Open source | Platforms |
|---|---|---|---|---|
| 1 | HP Computer Museum | — | Not stated | Web, Windows |
| 2 | WildWinds | — | Not stated | Web |
| 3 | Proofs | — | Not stated | Web |
| 4 | MobilePhoneMuseum | — | Not stated | Web |
| 5 | LibreTexts Philosophy | — | Not stated | Web |
| 6 | nLab Philosophy | — | Not stated | Web |
| 7 | Stanford Encyclopedia of Philosophy | — | Not stated | Web |
| 8 | Logitext | — | Not stated | Web |
| 9 | U-boat Archive | — | Not stated | Web |
| 10 | PessimistsArchive | — | Not stated | Web |
All ModalLogic alternatives
2
WildWinds
wildwinds.comAlso covers humanities · same kind of website
Wildwinds provides a reference for identifying and valuing ancient Roman, Greek, Byzantine, and Celtic coins.
3
Proofs
proofs.openlogicproject.orgAlso covers humanities · same kind of website
This proof editor and checker demonstrates Fitch-style natural deduction systems used in introductory logic textbooks.
4
MobilePhoneMuseum
mobilephonemuseum.comAlso covers humanities · same kind of website
The Mobile Phone Museum preserves the history and design of mobile devices, with more than 2,800 models in its online collection.
5
LibreTexts Philosophy
human.libretexts.org/Bookshelves/PhilosophyAlso covers humanities · same kind of website
LibreTexts Philosophy introduces fundamental questions about existence, knowledge, values, reason, mind, and language.
6
nLab Philosophy
ncatlab.org/nlab/show/philosophyAlso covers humanities · same kind of website
This nLab page gathers material about philosophy, including ontology, logic, and related topics.
7
Also covers humanities · same kind of website
The Stanford Encyclopedia of Philosophy provides an online encyclopedia with browse tools, new entries, and chronological archives.
8
Also covers humanities · same kind of website
The Logitext interactive tutorial teaches the sequent calculus through a simple set of inference rules.
9
U-boat Archive
uboatarchive.netAlso covers humanities · same kind of website
The U-boat Archive provides documents and photographs about the Battle of the Atlantic.
10
PessimistsArchive
pessimistsarchive.orgAlso covers humanities · same kind of website
Pessimists Archive documents historical panics about technology through a timeline and related articles.
11
ABookOfCreatures
abookofcreatures.comAlso covers humanities · same kind of website
A Book of Creatures is a guide to beings from myth, legend, and folklore.
12
Cost of Living
numbeo.com/cost-of-livingAlso covers humanities · same kind of website
Cost of Living provides cost-of-living data and information about the Numbeo API.
13
Ultimateretro
gitlab.com/ultimateretro/ultimateretroAlso covers humanities · same kind of website
The Retro Web documents computer hardware, with its catalog presented through a web application.
14
VGA Museum
vgamuseum.infoAlso covers humanities · same kind of website
The VGA Museum catalogs video graphics hardware by company and category.
15
Inuit Myths
inuitmyths.com/index.htmAlso covers humanities · same kind of website
This page documents Inuit mythology and traditional stories, with material presented in Inuktitut.
16
Theoi
theoi.comAlso covers humanities · same kind of website
Theoi Project is a reference guide to Greek mythology, exploring gods, spirits, creatures, and heroes through classical literature and art.
17
rip.so
rip.soAlso covers humanities · same kind of website
rip.so is a digital graveyard memorializing discontinued messengers, social networks, browsers, gadgets and websites.
18
OilPrice
oilprice.comAlso covers humanities · same kind of website
OilPrice publishes crude oil and gas price charts, futures information, energy news, and investment coverage.
19
EveryPolitician
everypolitician.orgAlso covers humanities · same kind of website
EveryPolitician tracks political office holders, including legislators, judges, and rulers around the world.
20
Sued by Nintendo
suedbynintendo.comAlso covers humanities · same kind of website
Sued by Nintendo collects lawsuits and legal actions involving Nintendo.
21
Wealth, Shown to Scale
wealth.ronnycoste.comAlso covers humanities · same kind of website
Wealth, Shown to Scale visualizes differences in wealth using comparisons from household income to billionaire fortunes.
22
The Retro Web
theretroweb.comAlso covers humanities · same kind of website
The Retro Web provides a motherboard database with search and filters for vintage computers.
23
Umsu
umsu.de/treesAlso covers humanities · same kind of website
Umsu offers a reference for mathematical and logical symbols, including connectives and quantifiers.
24
DataUSA
datausa.ioAlso covers humanities · same kind of website
Data USA provides visualizations and reports based on public U.S. government data.
No alternatives match this filter.
Alternatives to similar tools
Stanford Encyclopedia of Philosophy24 alternativesLogitext24 alternativesVGA Museum24 alternativesPessimistsArchive24 alternativesABookOfCreatures24 alternativesUltimateretro24 alternatives
What is the best alternative to ModalLogic?
Based on features, tags and platforms, the closest alternatives to ModalLogic are HP Computer Museum, WildWinds, and Proofs.
Alternatives are suggested from the purpose and features described in our listings. Different pages for the same product appear once. Read each description to check whether it fits your task. How we choose alternatives · Suggest an alternative