Der Artikel untersucht die lokale Tabulariät von Produkten modaler Logiken. Lokale Tabulariät bedeutet, dass jedes endlich-variable Fragment einer Logik nur endlich viele paarweise nicht-äquivalente Formeln enthält.
Die Hauptergebnisse sind:
Lokale Tabulariät der Faktoren L1 und L2 ist eine notwendige, aber nicht hinreichende Bedingung für lokale Tabulariät des Produkts L1 × L2.
Es werden zusätzliche semantische und axiomatische Bedingungen identifiziert, die hinreichend für lokale Tabulariät des Produkts sind:
Diese Kriterien werden dann angewendet, um neue Familien lokal tabularer Produkte zu identifizieren.
Es wird gezeigt, dass das Produkt S5 × S5 lokal tabular ist, was eine rein semantische Begründung liefert.
Für andere pretabulare Logiken wie Tack × S5 wird gezeigt, dass sie nicht prälokal tabular sind.
Für Erweiterungen von S4.1[2] × S5 wird ein axiomatisches Kriterium für lokale Tabulariät angegeben.
他の言語に翻訳
原文コンテンツから
arxiv.org
深掘り質問