scientific article; zbMATH DE number 1301759

MaRDI QIDQ4246974zbMATH OpenFDO

Authors Stéphane Demri, Beata Konikowska

Publication date 5 October 1999

zbMATH Keywords

decidabilitydecidable fragmentsfinite model propertyincomplete informationrelative similarity logicssatisfiability problem

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1858071
• On logics with two variables
• scientific article; zbMATH DE number 887303
• On modal logics characterized by models with relative accessibility relations. II

Cited in

(4)

• Decidable subsets of open logic and an algorithm for R-calculus
• scientific article; zbMATH DE number 1114040 (Why is no real title available?)
• scientific article; zbMATH DE number 1858071 (Why is no real title available?)
• Three-valued logic for reasoning about covering-based rough sets

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