collaborators

1 paper

cs.LO2023

Alternating (In)Dependence-Friendly Logic

Dylan Bellier, Massimo Benerecetti, Dario Della Monica +1

Hintikka and Sandu originally proposed Independence Friendly Logic (IF) as a first-order logic of imperfect information to describe game-theoretic phenomena underlying the semantic…