或译为Kripke语义或框架逻辑），并和艾弗特·威廉·贝斯（Evert Willem Beth）分别独立发现了现在广泛使用的语义tableau。去世前的近十年里，他主要致力于博弈逻辑和被认为是IF逻辑上面。他对亚里士多德、卡特、维特根斯坦、查尔斯·桑德斯·皮尔士等人的解说工作。辛提卡的主要工作是在对由布伦塔诺和皮尔士建立，由罗素和弗雷格推动，进而又卡纳普、奎因和辛提卡的老师乔治·亨利克·冯·赖特的贡献的逻辑的延伸。例如：1998年，辛提卡出版的《数学原理再探》可以与罗素在1903年写的《数学原理》一书相