Non-finitely axiomatisable two-dimensional modal logics.

Sun, 01 Jan 2012 00:00:00 +0100

Agi Kurucz , Sérgio Marcelino :
Non-finitely axiomatisable two-dimensional modal logics. J. Symb. Log. 77(3): 970-986 (2012)