A logic of situated resource-bounded agents

DOI10.1007/S10849-008-9073-6zbMath1162.68662OpenAlexW2141303678MaRDI QIDQ1006513

Natasha Alechina, Brian Logan

Publication date: 24 March 2009

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-008-9073-6

zbMATH Keywords

AgentsVerificationBelief ascription

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (2)

Human rationality challenges universal logic ⋮ The effort of reasoning: modelling the inference steps of boundedly rational agents

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Belief, awareness, and limited reasoning
• A computationally grounded logic of visibility, perception, and knowledge
• Epistemology Without Knowledge and Without Belief
• The Dynamics of Syntactic Knowledge
• Dynamic Epistemic Logic and Knowledge Puzzles
• Reasoning about rational, but not logically omniscient, agents
• Completeness and Complexity of Multi-modal CTL

This page was built for publication: A logic of situated resource-bounded agents