Linear abelian modal logic

DOI10.18778/0138-0680.2023.30MaRDI QIDQ6555699

Hamzeh Mohammadi

Publication date: 14 June 2024

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

zbMATH Keywords

modal logicmany-valued logiccut-eliminationhypersequent calculusabelian logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03)

This page was built for publication: Linear abelian modal logic