Publications

Martingale Tests for Model Misspecification in Bayesian Sequence Prediction Kee Siong Ng and Sigfrido D. Ciletti. Manuscript.

A Zero-one Law for Modal Logic S4 Sigfrido D. Ciletti. Abstract, Bulletin of Symbolic Logic.

Asymptotic Probabilities for Formulas of Propositional Intuitionistic Logic Sigfrido D. Ciletti, Guillermo Badia, Marcel Jackson and Tomasz Kowalski. Manuscript.

A Zero-one Law for Propositional Intuitionistic Logic Sigfrido D. Ciletti. Abstract, Bulletin of Symbolic Logic.