Finite Frames for K4.3 x S5 Are Decidable.

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

Agi Kurucz, Sérgio Marcelino:
Finite Frames for K4.3 x S5 Are Decidable. Advances in Modal Logic 2012: 411-436