scientific article; zbMATH DE number 4197947

MaRDI QIDQ5202982zbMATH OpenFDO

Authors Ehjgirdas Gudzhinskas

Publication date 1989

zbMATH Keywords

analytic cut rulecompletenessinduction rulelinear temporal logicsnonclausal resolution rule

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 3904560
• Clausal temporal resolution
• scientific article; zbMATH DE number 3974944
• scientific article; zbMATH DE number 67448
• scientific article; zbMATH DE number 1950255

Cited in

(6)

• Nonclausal deduction in first-order temporal logic
• scientific article; zbMATH DE number 3904560 (Why is no real title available?)
• scientific article; zbMATH DE number 67448 (Why is no real title available?)
• scientific article; zbMATH DE number 1950255 (Why is no real title available?)
• scientific article; zbMATH DE number 1444730 (Why is no real title available?)
• Simplifying inductive schemes in temporal logic

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 Q5202982)