Algebraic semantics for quasi-classical modal logics (Q5187260): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q1355601
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: Willem J. Blok / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.2307/2273660 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1978559879 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4083730 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pretabular varieties of modal algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Der Verband der normalen verzweigten Modallogiken / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some theorems about the sentential calculi of Lewis and Heyting / rank
 
Normal rank
Property / cites work
 
Property / cites work: Post Completeness and Ultrafilters / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebras Whose Congruence Lattices are Distributive. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Post Completeness and Free Algebras / rank
 
Normal rank

Latest revision as of 16:20, 14 June 2024

scientific article; zbMATH DE number 3895039
Language Label Description Also known as
English
Algebraic semantics for quasi-classical modal logics
scientific article; zbMATH DE number 3895039

    Statements

    Algebraic semantics for quasi-classical modal logics (English)
    0 references
    0 references
    0 references
    1983
    0 references
    algebraic semantics
    0 references
    filter
    0 references
    variety of filtered modal algebras
    0 references
    lattice of quasi-classical modal logics
    0 references
    Post complete logics
    0 references
    quasi-normal logics
    0 references
    Kripke frames
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references