scientific article; zbMATH DE number 1303345

zbMATH Open0927.03027MaRDI QIDQ4249898FDOQ4249898

Authors: Hans de Nivelle 

Publication date: 17 June 1999

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

Recommendations

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

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)

Cited In (11)

• PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT
• Deciding expressive description logics in the framework of resolution
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Deciding the guarded fragments by resolution
• Title not available (Why is that?)
• Deciding the \(E^+\)-class by an a posteriori, liftable order

Uses Software

• OTTER
• SPASS
• TABLEAUX

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)