scientific article; zbMATH DE number 1303345

MaRDI QIDQ4249898zbMATH OpenFDO

Authors Hans de Nivelle

Publication date 17 June 1999

zbMATH Keywords

modal logicguarded fragmentresolution based decision procedure

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Recommendations

• Deciding the guarded fragments by resolution
• Automated Reasoning
• scientific article; zbMATH DE number 1696822
• scientific article; zbMATH DE number 1341606

Cited in

(11)

• Deciding expressive description logics in the framework of resolution
• PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT
• Querying the Guarded Fragment
• Deciding regular grammar logics with converse through first-order logic
• Automated Reasoning
• Some techniques for proving termination of the hyperresolution calculus
• scientific article; zbMATH DE number 2109542 (Why is no real title available?)
• scientific article; zbMATH DE number 1405457 (Why is no real title available?)
• Deciding the guarded fragments by resolution
• scientific article; zbMATH DE number 1696822 (Why is no real title available?)
• Deciding the E^+-class by an a posteriori, liftable order

Describes a project that uses

Uses Software

• TABLEAUX
• SPASS
• OTTER

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