ふと、 Branching quantifier とか IF logic とかについて調べている。 昔は理解できなかったけれど、面白そうだ。
Branching quantifier
http://en.wikipedia.org/wiki/Branching_quantifier
IF logic
http://en.wikipedia.org/wiki/Independence-friendly_logic
Dependence Logic
http://en.wikipedia.org/wiki/Dependence_logic