scientific article; zbMATH DE number 1552269

MaRDI QIDQ4524508zbMATH OpenFDO

Authors Fausto Giunchiglia, Chiara Ghidini

Publication date 19 March 2001

zbMATH Keywords

hierarchical multilanguage belief systemslocal models semanticsmechanization of beliefmodal logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic of natural languages (03B65) Logic in computer science (03B70) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Natural language processing (68T50)

Recommendations

• Local Models Semantics, or contextual reasoning = locality + compatibility
• Ideal and real belief about belief
• Belief, awareness, and limited reasoning
• Formal semantics for mutual belief
• scientific article; zbMATH DE number 43239

Cited in

(4)

• Multilanguage hierarchical logics, or: How we can do without modal logics
• A question about hierarchical systems
• Semantic characterization of the SCR-n\;(1 n) hierarchy
• Local Models Semantics, or contextual reasoning = locality + compatibility

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