scientific article; zbMATH DE number 1523418

DOI10.1002/1521-3870(200008)46:3%3C417::AID-MALQ417%3E3.0.CO;2-TMaRDI QIDQ4511554zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

approximation logiccompleteness theoremcomputational complexitydeduction theoremKripke semanticsrelational semanticssatisfiability problem

Mathematics Subject Classification ID

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

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

Cited in

(5)

• Kripke Semantics for Basic Sequent Systems
• scientific article; zbMATH DE number 4160691 (Why is no real title available?)
• Granularity and approximation in sequences, multisets, and sets in the framework of Kripke semantics
• The tableau method for a logical system based on a finite poset
• Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini

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)