A decision procedure for the system E (of entailment). I
From MaRDI portal
Publication:802540
DOI10.1007/BF01063835zbMath0559.03009MaRDI QIDQ802540
Publication date: 1983
Published in: Studia Logica (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
03B25: Decidability of theories and sets of sentences
Cites Work