Add soundness and completeness for the PAL versions of systems K, T, KB, K4, S4 and S5.
Description
Description
Details
Details
- Provenance
Asta Halkjær From <andro.from@gmail.com> Authored on - Parents
- rAFPd002a4bd210d: avoid hardwired document output;
- Branches
- Unknown
- Tags