This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of
mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join
the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
In answer: yes and probably. — Charles Stewart(talk) 08:55, 19 March 2009 (UTC)reply
I originally did not include it in the Kripke semantics article because I thought it was an important notion on its own, and expected it would develop into a more informative article. However, since it stayed essentially unchanged as a stub for five years, I guess it might be better to merge it in Kripke semantics after all. —
EmilJ. 11:28, 19 March 2009 (UTC)reply
So it looks like this conversation is old, but I figure I should address this anyway for newer users. The K might stand for Kripke, but this article should definitely not be merged with Kripke semantics. K does minimally follow from Kripke's semantics but there are other kinds of systems (e.g., axiomatic systems) that often include K but are not instances of Kripke semantics. Whatever K stands for verbally, at root it's just a deductive schema, and people were already discussing it around 2,000 years ago. --
Heyitspeter (
talk) 04:42, 10 November 2009 (UTC)reply
Some confusion might stem from the fact that K is both an axiom and a modal logic. In any case the basic idea is that there are axiomatic systems that can be proven to contain all and only those theorems as are contained in Kripke's minimal K logic, and which therefore have every right to be called K logics themselves. — Preceding
unsigned comment added by
Heyitspeter (
talk •
contribs) 04:53, 10 November 2009 (UTC)reply
I concur, normal modal logic is not a proper subtopic of Kripke semantics, so a merge there is out of the question. I'm not proposing it, but if any merge happened at all, it would have to be with
modal logic or something like
classes of modal logics.
85.178.210.32 (
talk) 17:15, 15 August 2015 (UTC)reply