Bezhanishvili, Nick; Carai, Luca; Ghilardi, Silvio; Zhao, Zhiguang A calculus for modal compact Hausdorff spaces. arXiv:2402.00528 Preprint, arXiv:2402.00528 [math.LO] (2024). MSC: 03B45 06E15 54E05 06E25 BibTeX Cite \textit{N. Bezhanishvili} et al., ``A calculus for modal compact Hausdorff spaces'', Preprint, arXiv:2402.00528 [math.LO] (2024) Full Text: arXiv OA License
Bezhanishvili, Nick; Carai, Luca; Ghilardi, Silvio; Landi, Lucia Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras. (English) Zbl 07601551 Ann. Pure Appl. Logic 174, No. 1, Article ID 103169, 31 p. (2023). MSC: 03B45 03C10 06E25 54E05 PDFBibTeX XMLCite \textit{N. Bezhanishvili} et al., Ann. Pure Appl. Logic 174, No. 1, Article ID 103169, 31 p. (2023; Zbl 07601551) Full Text: DOI arXiv
Ghilardi, Silvio Continuity, freeness, and filtrations. (English) Zbl 1242.03049 J. Appl. Non-Class. Log. 20, No. 3, 193-217 (2010). MSC: 03B45 03B22 06E25 PDFBibTeX XMLCite \textit{S. Ghilardi}, J. Appl. Non-Class. Log. 20, No. 3, 193--217 (2010; Zbl 1242.03049) Full Text: DOI
Ghilardi, Silvio; Zawadowski, Marek Model completions and r-Heyting categories. (English) Zbl 0888.03024 Ann. Pure Appl. Logic 88, No. 1, 27-46 (1997). Reviewer: H.-J.Vogel (Potsdam) MSC: 03C65 03G30 03C10 08C05 06D20 06E25 08C10 PDFBibTeX XMLCite \textit{S. Ghilardi} and \textit{M. Zawadowski}, Ann. Pure Appl. Logic 88, No. 1, 27--46 (1997; Zbl 0888.03024) Full Text: DOI
Ghilardi, Silvio Irreducible models and definable embeddings. (English) Zbl 0846.03033 Csirmaz, László (ed.) et al., Logic colloquium ’92, Veszprém, Hungary, August 9-15, 1992. Stanford, CA: CSLI Publications. Studies in Logic, Language and Computation. 95-113 (1995). Reviewer: L.Esakia (Tbilisi) MSC: 03G25 06E25 06D20 08B20 PDFBibTeX XMLCite \textit{S. Ghilardi}, in: Logic colloquium '92, Veszprém, Hungary, August 9-15, 1992. Stanford, CA: CSLI Publications. 95--113 (1995; Zbl 0846.03033)
Ghilardi, Silvio; Zawadowski, Marek Undefinability of propositional quantifiers in the modal system S4. (English) Zbl 0831.03008 Stud. Log. 55, No. 2, 259-271 (1995). MSC: 03B45 06E25 18C10 PDFBibTeX XMLCite \textit{S. Ghilardi} and \textit{M. Zawadowski}, Stud. Log. 55, No. 2, 259--271 (1995; Zbl 0831.03008) Full Text: DOI