Fine, Kit Truth-maker semantics for intuitionistic logic. (English) Zbl 1335.03011 J. Philos. Log. 43, No. 2-3, 549-577 (2014). MSC: 03B20 03A05 PDFBibTeX XMLCite \textit{K. Fine}, J. Philos. Log. 43, No. 2--3, 549--577 (2014; Zbl 1335.03011) Full Text: DOI
Fine, Kit The reality of tense. (English) Zbl 1108.03302 Synthese 150, No. 3, 399-414 (2006). MSC: 03A05 03B44 PDFBibTeX XMLCite \textit{K. Fine}, Synthese 150, No. 3, 399--414 (2006; Zbl 1108.03302) Full Text: DOI