Notebook https://francescodibetta.github.io/notebook Last 10 notes on Notebook Quartz -- quartz.jzhao.xyz Formal Epistemology https://francescodibetta.github.io/notebook/Courses/2026/Formal-Epistemology/ https://francescodibetta.github.io/notebook/Courses/2026/Formal-Epistemology/ Tue, 21 Apr 2026 13:19:11 GMT Session 1 - Solutions to Exercises https://francescodibetta.github.io/notebook/Courses/2026/Formal-Epistemology/RG-FormEp---Session-1-(Solutions) https://francescodibetta.github.io/notebook/Courses/2026/Formal-Epistemology/RG-FormEp---Session-1-(Solutions) Tue, 21 Apr 2026 13:17:23 GMT Session 1 - Summary of definitions https://francescodibetta.github.io/notebook/Courses/2026/Formal-Epistemology/RG-FormEp---Session-1-(Summary-of-Definitions) https://francescodibetta.github.io/notebook/Courses/2026/Formal-Epistemology/RG-FormEp---Session-1-(Summary-of-Definitions) Tue, 21 Apr 2026 13:17:23 GMT Session 1 https://francescodibetta.github.io/notebook/Courses/2026/Formal-Epistemology/RG-FormEp---Session-1 https://francescodibetta.github.io/notebook/Courses/2026/Formal-Epistemology/RG-FormEp---Session-1 Tue, 21 Apr 2026 13:17:23 GMT Session 2 - Solutions to Exercises https://francescodibetta.github.io/notebook/Courses/2026/Formal-Epistemology/RG-FormEp---Session-2-(Solutions) https://francescodibetta.github.io/notebook/Courses/2026/Formal-Epistemology/RG-FormEp---Session-2-(Solutions) Tue, 21 Apr 2026 13:17:23 GMT Session 2 - Summary of definitions https://francescodibetta.github.io/notebook/Courses/2026/Formal-Epistemology/RG-FormEp---Session-2-(Summary-of-Definitions) https://francescodibetta.github.io/notebook/Courses/2026/Formal-Epistemology/RG-FormEp---Session-2-(Summary-of-Definitions) Tue, 21 Apr 2026 13:17:23 GMT Session 2 https://francescodibetta.github.io/notebook/Courses/2026/Formal-Epistemology/RG-FormEp---Session-2 https://francescodibetta.github.io/notebook/Courses/2026/Formal-Epistemology/RG-FormEp---Session-2 Tue, 21 Apr 2026 13:17:23 GMT Session 3 https://francescodibetta.github.io/notebook/Courses/2026/Formal-Epistemology/RG-FormEp---Session-3 https://francescodibetta.github.io/notebook/Courses/2026/Formal-Epistemology/RG-FormEp---Session-3 Tue, 21 Apr 2026 13:17:23 GMT (Grove, 1988) https://francescodibetta.github.io/notebook/Study-Notes/(Grove,-1988) https://francescodibetta.github.io/notebook/Study-Notes/(Grove,-1988) Tue, 21 Apr 2026 06:52:59 GMT Compactness for Classical Propositional Logic https://francescodibetta.github.io/notebook/Study-Notes/Compactness https://francescodibetta.github.io/notebook/Study-Notes/Compactness Fri, 20 Feb 2026 12:10:41 GMT