scientific article; zbMATH DE number 2015273

MaRDI QIDQ4438101zbMATH OpenFDO

Authors Vladimir Rybakov

Publication date 9 December 2003

zbMATH Keywords

common knowlegeepistemic logicunification

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Recommendations

• Unifiability in extensions of K4
• Unification in modal and description logics
• Non-unifiability in linear temporal logic of knowledge with multi-agent relations
• La connaissance commune en logique modale
• Unification and Passive Inference Rules for Modal Logics

Cited in

(7)

• Non-unifiability in linear temporal logic of knowledge with multi-agent relations
• Contact logic is finitary for unification with constants
• Unification in epistemic logics
• KD is nullary
• Decidability of logic of correlated knowledge
• scientific article; zbMATH DE number 7117799 (Why is no real title available?)
• Unification of concept terms in description 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 Q4438101)