The preservation of coherence
From MaRDI portal
Publication:1077400
DOI10.1007/BF00935743zbMath0595.03010MaRDI QIDQ1077400
Publication date: 1984
Published in: Studia Logica (Search for Journal in Brave)
level function; propositional modal logic; inference relations; generalized frames; inconsistent sets
03B45: Modal logic (including the logic of norms)