Add completeness of modal logics T, KB, K4, S4 and S5
Description
Description
Details
Details
- Provenance
Asta Halkjær From <andro.from@gmail.com> Authored on - Parents
- rAFP8f1f310afd72: Stylistic tweaks, which I hope are improvements :-)
- Branches
- Unknown
- Tags