FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 (Q6067743): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Normalize DOI.
 
(One intermediate revision by one other user not shown)
Property / DOI
 
Property / DOI: 10.1007/s11225-023-10046-5 / rank
Normal rank
 
Property / cites work
 
Property / cites work: Q2744124 / 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: Q3128959 / 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 ascending chain of S4 logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logics containing <i>K</i>4. Part I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logics containing <i>K</i>4. Part II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Using the Universal Modality: Gains and Questions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Prefinitely axiomatizable modal and intermediate logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tools and techniques in modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: The decidability of normal <i>K</i>5 logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extensions of the Lewis system S5 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal logics with linear alternative relations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4053613 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5224586 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Undecidable theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Two simple incomplete modal logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Transitivity follows from Dummett's axiom / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some normal extensions of K4.3 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Transitive logics of finite width with respect to proper-successor-equivalence / rank
 
Normal rank
Property / cites work
 
Property / cites work: All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S11225-023-10046-5 / rank
 
Normal rank

Latest revision as of 18:08, 30 December 2024

scientific article; zbMATH DE number 7767286
Language Label Description Also known as
English
FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3
scientific article; zbMATH DE number 7767286

    Statements

    FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 (English)
    0 references
    17 November 2023
    0 references
    modal logic
    0 references
    finite model property
    0 references
    recursive axiomatizability
    0 references
    finite axiomatizability
    0 references
    FMP-ensuring
    0 references
    RA-ensuring
    0 references
    FA-ensuring
    0 references

    Identifiers