scientific article; zbMATH DE number 1523418

DOI10.1002/1521-3870(200008)46:3%3C417::AID-MALQ417%3E3.0.CO;2-TzbMATH Open0960.03016OpenAlexW2295284441MaRDI QIDQ4511554FDOQ4511554

Authors: Abir Nour 

Publication date: 28 February 2001

Full work available at URL: https://doi.org/10.1002/1521-3870(200008)46:3%3C417::aid-malq417%3E3.0.co;2-t

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

Recommendations

• Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini
• The tableau method for a logical system based on a finite poset
• scientific article; zbMATH DE number 4080967
• Kripke semantics for knowledge representation logics
• scientific article; zbMATH DE number 19156

zbMATH Keywords

computational complexitycompleteness theoremrelational semanticsKripke semanticssatisfiability problemdeduction theoremapproximation logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Cited In (5)

• Granularity and approximation in sequences, multisets, and sets in the framework of Kripke semantics
• Title not available (Why is that?)
• Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini
• Kripke Semantics for Basic Sequent Systems
• The tableau method for a logical system based on a finite poset

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