On axiomatising products of Kripke frames
Ágnes Kurucz · Journal of Symbolic Logic · 2000
Abstract It is shown that the many-dimensional modal logicKn, determined by products ofn-many Kripke frames, is not finitely axiomatisable in then-modal language, for anyn> 2. On the other hand,Knis determined by a class of frames satisfying a single first-order sentence.