scientific article; zbMATH DE number 1114040

zbMATH Open0886.03014MaRDI QIDQ4375809FDOQ4375809

Stéphane Demri

Publication date: 10 May 1998

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

Recommendations

• A class of decidable information logics
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• scientific article; zbMATH DE number 1301759
• scientific article; zbMATH DE number 3934437
• Studying incompleteness of information: A class of information logics

zbMATH Keywords

decidabilityvalidity problemstrong finite model propertyPawlak's information systemsGargov's data analysis logic with local agreementNakamura's logic of graded modalitiespropositional information logics

Mathematics Subject Classification ID

Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25) Other applications of logic (03B80)

Cited In (1)

• A class of decidable information logics

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