IF Logic & Game Theory

Much of my work is based upon IF Logic developed by Jaakko Hintikka. My interest is primarily in the unique interdependent structures that don’t exist in other logics (namely FOL) but IF logic handles easily.

An early result of my work was that the Special Theory of Relativity can be described by one of these unique formulations. You can click through to the bare-bones description of this result below, but I’ll write out a richer description soon. More will be forthcoming.

Dependence Logic vs. Independence Friendly Logic

The Monty Hall Problem

The Logic of Relativity

The Logic of Biological Relativity