Linear reasoning in modal logic

DOI10.2307/2274285MaRDI QIDQ3724299zbMATH OpenOpenAlexFDO

Authors 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

interpolation theoremmodal logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4047686
• Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics
• scientific article; zbMATH DE number 3893171
• scientific article; zbMATH DE number 3863170
• scientific article; zbMATH DE number 4210104

Cites work

• A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Proof methods for modal and intuitionistic logics
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

Cited in

(6)

• Models of linear logic
• Linear modalities in mininal logic
• scientific article; zbMATH DE number 4047686 (Why is no real title available?)
• scientific article; zbMATH DE number 3893171 (Why is no real title available?)
• scientific article; zbMATH DE number 2236613 (Why is no real title available?)
• Interpolation as cut-introduction: on the computational content of Craig-Lyndon interpolation

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3724299)