A study of Kripke-type models for some modal logics by Gentzen's sequential method (Q1257012): 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.2977/prims/1195189814 / rank
Normal rank
 
Property / cites work
 
Property / cites work: Finite Monadic Algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4074882 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5582318 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5572358 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The completeness of the first-order functional calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: A survey of proof theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic semantics for modal logics I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5553251 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A General Theory of Completeness Proofs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5508993 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3247119 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5559220 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5632554 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4109655 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An algebraic approach to non-classical logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5734410 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5538910 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4068699 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5628097 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The correspondence between cut-elimination and normalization / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.2977/PRIMS/1195189814 / rank
 
Normal rank

Latest revision as of 16:53, 10 December 2024

scientific article
Language Label Description Also known as
English
A study of Kripke-type models for some modal logics by Gentzen's sequential method
scientific article

    Statements

    A study of Kripke-type models for some modal logics by Gentzen's sequential method (English)
    0 references
    0 references
    1977
    0 references
    Kripke-Type Models
    0 references
    Multi-Modal Systems
    0 references
    Knowledge
    0 references
    Completeness Proofs
    0 references
    Kripke-Type Semantics
    0 references
    Possible Worlds
    0 references
    Generalized Gentzen-Type Sequences
    0 references
    Cut-Free Systems
    0 references
    S5
    0 references
    Wise Men Puzzle
    0 references
    Puzzle of Unfaithful Wives
    0 references

    Identifiers