Digging through old lj entries I found this weird zoo of (classical,…: jcreed

No account? Create an account

Remember me

By logging in to LiveJournal using a third-party service you accept LiveJournal's User agreement

: Jason (jcreed) wrote,
2013-05-20 09:10:00

Jason
jcreed
2013-05-20 09:10:00

Digging through old lj entries I found this weird zoo of (classical, Hilbert-style-presented) modal logics:
http://www.cc.utah.edu/~nahaj/logic/structures/index.html

I am awfully fond of these big taxonomic hypertext blobs, also e.g. https://complexityzoo.uwaterloo.ca/Complexity_Zoo

Tags: logic, math