Linnebo, Øystein; Shapiro, Stewart Actual and potential infinity. (English) Zbl 1446.03013 Nôus 53, No. 1, 160-191 (2019). MSC: 03A05 × Cite Format Result Cite Review PDF Full Text: DOI Link
Bezhanishvili, Guram; Holliday, Wesley H. A semantic hierarchy for intuitionistic logic. (English) Zbl 1539.03032 Indag. Math., New Ser. 30, No. 3, 403-469 (2019). MSC: 03B20 03G10 06D20 06D22 × Cite Format Result Cite Review PDF Full Text: DOI Link Backlinks: MO
Punčochář, Vít A generalization of inquisitive semantics. (English) Zbl 1415.03036 J. Philos. Log. 45, No. 4, 399-428 (2016). Reviewer: Gemma Robles (León) MSC: 03B60 03B20 03B55 × Cite Format Result Cite Review PDF Full Text: DOI
Yang, Fan Expressing second-order sentences in intuitionistic dependence logic. (English) Zbl 1272.03126 Stud. Log. 101, No. 2, 323-342 (2013). MSC: 03B60 03B15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Finger, Marcelo; Gabbay, Dov Cut and pay. (English) Zbl 1108.03034 J. Logic Lang. Inf. 15, No. 3, 195-218 (2006). MSC: 03B60 03B05 03B25 03F05 × Cite Format Result Cite Review PDF Full Text: DOI