A Modal Herbrand's Property

DOI10.1002/malq.19860323106zbMath0589.03004OpenAlexW2104524304MaRDI QIDQ3717022

Luis Fariñas del Cerro, Marta Cialdea Mayer

Publication date: 1986

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19860323106

zbMATH Keywords

modal logicunificationHerbrand theoremfirst order extension of propositional modal resolutionrecursive reasoning on nested modal operators

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Related Items

Herbrand style proof procedures for modal logic ⋮ Modal resolution in clausal form ⋮ Resolution with order and selection for hybrid logics ⋮ Resolution for some first-order modal systems