research
∙
04/23/2023
Alternating (In)Dependence-Friendly Logic
Hintikka and Sandu originally proposed Independence Friendly Logic (IF) ...
research
∙
04/13/2021