scientific article; zbMATH DE number 1880278

zbMATH Open1014.03024MaRDI QIDQ4798640FDOQ4798640

Authors: Stasys Norgėla 

Publication date: 11 March 2003

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4055570
• Publication:4207883
• The resolution method for one reducible class of formulas of the first-order modal logic S4.
• The recursive resolution method for modal logic
• Linear strategy for propositional modal resolution

zbMATH Keywords

resolution calculusfirst-order modal logic S4

Mathematics Subject Classification ID

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

Cited In (15)

• Loop-free calculus for modal logic S4. II
• A dual-context sequent calculus for the constructive modal logic S4
• The recursive resolution method for modal logic
• Linear strategy for propositional modal resolution
• Title not available (Why is that?)
• Sequent calculus Sk4 for skolemized formulas
• Title not available (Why is that?)
• The resolution method for one reducible class of formulas of the first-order modal logic S4.
• Path calculus in the modal logic S4
• Title not available (Why is that?)
• A Modal-Layered Resolution Calculus for K
• A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4
• Restricted interpolation over modal logic S4
• On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic
• Title not available (Why is that?)

This page was built for publication:

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