scientific article; zbMATH DE number 1880278

MaRDI QIDQ4798640zbMATH OpenFDO

Authors Stasys Norgėla

Publication date 11 March 2003

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)

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

Cited in

(15)

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

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)