Kripke semantics for modal systems including S4.3 (Q1219268)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Kripke semantics for modal systems including S4.3
scientific article

    Statements