Welding Semantics For Weak Strict Modal Logics into the General Framework of Modal Logic Semantics
From MaRDI portal
Publication:4198469
DOI10.1002/malq.19770233604zbMath0412.03004MaRDI QIDQ4198469
Publication date: 1977
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19770233604
completeness; soundness; Kripke's semantics; rule of intersubstitutivity of strict equivalents; welding semantics for weak strict modal logics
03B45: Modal logic (including the logic of norms)
Related Items