Why Nostr? What is Njump?
2024-06-10 10:42:19

Greg Restall on Nostr: The Nordic Logic Summer School is now in full swing here in Reykjavík. I’ve given ...

The Nordic Logic Summer School is now in full swing here in Reykjavík. I’ve given my first proof theory class, and Rineke Verbrugge is introducing modal logic and social cognition.

https://consequently.org/class/2024/nls-proof-theory/

#ProofTheory #ModalLogic

Author Public Key
npub1gwtglfks2gyd69l07rvm70arz8msp8am5shh8u2cxfuj8wg6zcmsndplw7