Herbrand style proof procedures for modal logic

DOI10.1080/11663081.1993.10510808zbMath0796.03026OpenAlexW2071490614MaRDI QIDQ4291028

Marta Cialdea Mayer

Publication date: 26 September 1994

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1993.10510808

zbMATH Keywords

cut eliminationsequent calculiresolution methodfirst order extensionHerbrand's properties

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (2)

The resolution method for one reducible class of formulas of the first-order modal logic S4. ⋮ Local reductions for the modal cube

Cites Work

• Resolution for some first-order modal systems
• Untersuchungen über das logische Schliessen. I
• A Modal Herbrand's Property
• Proof theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Herbrand style proof procedures for modal logic