Destructive Modal Resolution

DOI10.1093/LOGCOM/1.1.83MaRDI QIDQ5202172zbMATH OpenOpenAlexFDO

Authors Melvin Fitting

Publication date 1990

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/1.1.83

zbMATH Keywords

Kripke modelsmodal logicsnon-clausal resolution system

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3932427
• scientific article; zbMATH DE number 4055570
• Resolution-based methods for modal logics
• Modal resolution in clausal form
• Resolution for some first-order modal systems

Cited in

(7)

• A new methodology for developing deduction methods
• Resolution with order and selection for hybrid logics
• Temporal reasoning over linear discrete time
• A tableau-like proof procedure for normal modal logics
• A logic for reasoning with inconsistency
• Tableaus for many-valued modal logic
• Resolution calculi for non-normal modal logics

This page was built for publication: Destructive Modal Resolution

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