Schlagwort: Logik

Depending on Traditions.

Determinacy would probably be a better term for this notion, but we stick to dependency for the sake of consistency with the existing literature.

Ivano Ciardelli: Questions as information types

Taboo: DEL Edition.

How to tell apart mathematicians and philosophers: Do you need the words "transitive" or "closure" to explain common knowledge?

Alles Käse.

Every Gossip graph is caas.

MCHLPE.

rabern `solves` hlpe

github.com/m4lvin/mchlpe

Two kinds of proof.

Conference:

Simple induction on .

Journal:

By induction on .
... [a whole page] ...
QED.