Resolution for some first-order modal systems

DOI10.1016/0304-3975(91)90181-ZMaRDI QIDQ1178699zbMATH OpenFDO

Authors Marta Cialdea Mayer

Publication date 26 June 1992

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

resolution method

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
• First-order resolution methods for modal logics
• scientific article; zbMATH DE number 1763647
• Resolution-based methods for modal logics

Cites work

• scientific article; zbMATH DE number 4018413 (Why is no real title available?)
• scientific article; zbMATH DE number 4018414 (Why is no real title available?)
• scientific article; zbMATH DE number 3131074 (Why is no real title available?)
• scientific article; zbMATH DE number 3904560 (Why is no real title available?)
• scientific article; zbMATH DE number 4025402 (Why is no real title available?)
• scientific article; zbMATH DE number 4066840 (Why is no real title available?)
• scientific article; zbMATH DE number 43239 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• A Modal Herbrand's Property
• A simple deduction method for modal logic
• DAL -- a logic for data analysis
• Formalization of Properties of Functional Programs
• MOLOG: A system that extends PROLOG with modal logic
• Modal resolution in clausal form
• Synthesis of Communicating Processes from Temporal Logic Specifications

Cited in

(11)

• First-order resolution methods for modal logics
• A note on resolutions mod i
• Strategies for modal resolution: Results and problems
• scientific article; zbMATH DE number 1763647 (Why is no real title available?)
• First-order intensional logic
• Resolution calculi for non-normal modal logics
• The resolution method for one reducible class of formulas of the first-order modal logic S4.
• Herbrand style proof procedures for modal logic
• Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic
• scientific article; zbMATH DE number 3932427 (Why is no real title available?)
• scientific article; zbMATH DE number 4055570 (Why is no real title available?)

This page was built for publication: Resolution for some first-order modal systems

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