Formalized Formal Logic
Formalized Formal Logic
Table of Contents
1.
First Order
2.
Arithmetic
3.
Set Theory
4.
Modal Logic
5.
Interpretability Logic
Monthly Reports
5.
Interpretability Logic
Source Code
Report Issues
←
4.2. Neighborhood Semantics
Monthly Reports
→
5. Interpretability Logic
🔗
Work in Progress
←
4.2. Neighborhood Semantics
Monthly Reports
→
