scientific article; zbMATH DE number 757646

MaRDI QIDQ4833778zbMATH OpenFDO

Authors Elias Thijsse

Publication date 23 May 1995

zbMATH Keywords

awarenessexplicit beliefflexibilityimplicit belieflogical omnisciencemonotonicityneighbourhood semanticsnonnormal logicspossible world semanticssieve semanticssyntactic filter

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Applications of logic in associative algebras (16B70) Logic in artificial intelligence (68T27)

Recommendations

• Belief, awareness, and limited reasoning
• scientific article; zbMATH DE number 589750
• Two-dimensional awareness logics

Cited in

(10)

• Belief, awareness, and limited reasoning
• A general possible worlds framework for reasoning about knowledge and belief
• Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics
• A verification framework for agent programming with declarative goals
• Towards an awareness-based semantics for security protocol analysis
• scientific article; zbMATH DE number 589750 (Why is no real title available?)
• scientific article; zbMATH DE number 1163572 (Why is no real title available?)
• A fugue on the themes of awareness logic and correspondence
• Two-dimensional awareness logics
• A logic for bounded multi-agent reasoning: deductive inference, introspection, and attribution

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