Hereditarily finitely axiomatizable extensions of logic S4 (Q1239153): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4041543 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic semantics for modal logics I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5582306 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5545944 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: That All Normal Extensions of S4.3 Have the Finite Model Property / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some relational systems and the associated topological spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Logics Containing S 4.3 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An incomplete logic containing S4 / rank | |||
Normal rank |
Revision as of 21:32, 12 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hereditarily finitely axiomatizable extensions of logic S4 |
scientific article |
Statements
Hereditarily finitely axiomatizable extensions of logic S4 (English)
0 references
1977
0 references
Es wird gezeigt: Die Tarski-Übersetzungen der tabularen und prätabularen superintuitionistischen Logiken sind erblich endlich axiomatisierbar und daher erblich entscheidbar. Die ersten beiden Schichten des Verbandes der modalen Logiken, deren intuitionistisches Fragment im Sinne der Tarski-Übersetzung tabular oder prätabular ist, sind damit abzählbar. Die übrigen Schichten haben jedoch die Mächtigkeit des Kontinuums. Die tabularen Logiken haben im Verband nur endlich viele unmittelbare Vorgänger.
0 references
modal logic S4
0 references
lattice of modal logics
0 references
hereditarily finitely axiomatizable
0 references
superintuitionistic logics
0 references
Tarski translation
0 references
tabular logic
0 references
pre-tabular logic
0 references