Resolution for some first-order modal systems

DOI10.1016/0304-3975(91)90181-ZzbMath0739.68072MaRDI QIDQ1178699

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)

Related Items (2)

Herbrand style proof procedures for modal logic ⋮ The resolution method for one reducible class of formulas of the first-order modal logic S4.

Cites Work

• A simple deduction method for modal logic
• DAL -- a logic for data analysis
• MOLOG: A system that extends PROLOG with modal logic
• Modal resolution in clausal form
• Synthesis of Communicating Processes from Temporal Logic Specifications
• A Modal Herbrand's Property
• A Machine-Oriented Logic Based on the Resolution Principle
• Formalization of Properties of Functional Programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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