Modal Logic System V1 (Sobociński)

Notes

Based on

The system V1 is the system S4 + Lp + ((p=>q) + (p=>~q)) [Zeman, 1973, 272]

Basis for


Go to ...


© Copyright 2000, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/v1.html
This page was last modified on December 5th, 2006