研究室HP:https://sites.google.com/view/heinrichwansing/home ConLog: ERC Advanced Grant Project:https://sites.google.com/view/contradictory-logics/home