scientific article; zbMATH DE number 2109542

zbMATH Open1058.03018MaRDI QIDQ4822152FDOQ4822152

Authors: Andrei Kouznetsov 

Publication date: 25 October 2004

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

Recommendations

• Completeness and decidability of general first-order logic (with a detour through the guarded fragment)
• scientific article; zbMATH DE number 1303345
• scientific article; zbMATH DE number 1765665
• Automated Reasoning
• scientific article; zbMATH DE number 1341606

zbMATH Keywords

decision procedureguarded fragment

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25)

Cited In (1)

• Labelled deduction for the guarded fragment

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