Disambiguation: For axiom K as a principle of type theory, see axiom K (type theory)
In modal logic, axiom K, named after Saul Kripke, is a basic principle which almost all versions of propositional modal logic satisfy
It is possible to consider a variant in dependent type theory (Spitters)
Created on August 22, 2018 at 07:10:09. See the history of this page for a list of all contributions to it.