Resolution calculi for modal logics

DOI10.1090/TRANS2/143/01MaRDI QIDQ3824388zbMATH OpenOpenAlexFDO

Authors G. E. Mints

Publication date 1989

Published in Eight Papers Translated from the Russian (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/trans2/143/01

zbMATH Keywords

modal logicnatural deductionresolution method

Mathematics Subject Classification ID

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

Cited in

(9)

• Resolution with order and selection for hybrid logics
• Formalization of the Resolution Calculus for First-Order Logic
• A Modal-Layered Resolution Calculus for K
• scientific article; zbMATH DE number 683345 (Why is no real title available?)
• scientific article; zbMATH DE number 2053218 (Why is no real title available?)
• Resolution-based methods for modal logics
• Modal Resolution
• Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
• Resolution principles in possibilistic logic

This page was built for publication: Resolution calculi for modal logics

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