Linear reasoning in modal logic

DOI10.2307/2274285zbMath0594.03008OpenAlexW2124243186MaRDI QIDQ3724299

Melvin Fitting

Publication date: 1984

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/37d547e7bfe21d8da0d311979c9aa48357a2eb60

zbMATH Keywords

modal logicinterpolation theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)

Cites Work

• Unnamed Item
• Proof methods for modal and intuitionistic logics
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY

This page was built for publication: Linear reasoning in modal logic