Lokale Tabulariät von Produkten modaler Logiken
Die lokale Tabulariät des Produkts zweier lokal tabularer Logiken L1 und L2 hängt von zusätzlichen semantischen und axiomatischen Bedingungen ab. Diese Bedingungen werden identifiziert und dann auf neue Familien lokal tabularer Produkte angewendet.