scientific article; zbMATH DE number 2109542

MaRDI QIDQ4822152zbMATH OpenFDO

Authors Andrei Kouznetsov

Publication date 25 October 2004

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)

Recommendations

• Completeness and decidability of general first-order logic (with a detour through the guarded fragment)
• Publication:4249898
• Publication:4539601
• Automated Reasoning
• Publication:4263155

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)