Sequential description logic

MaRDI QIDQ3067685zbMATH OpenFDO

Authors Norihiro Kamide

Publication date 21 January 2011

Full work available at URL http://pphmj.com/abstract/5304.htm

zbMATH Keywords

decidabilitydescription logicsatisfiabilitysequential information

Mathematics Subject Classification ID

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

Recommendations

• Reasoning in basic description logics and description logics with modal operators
• scientific article; zbMATH DE number 1735887
• Sequential dynamic logic
• The logic of sequences
• scientific article; zbMATH DE number 1400210

Cited in

(2)

• The logic of sequences
• A proof theory for description logics.

This page was built for publication: Sequential description logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3067685)