The effort of reasoning: modelling the inference steps of boundedly rational agents

DOI10.1007/s10849-022-09367-wzbMath1515.03080OpenAlexW4229048293MaRDI QIDQ6097771

Anthia Solaki

Publication date: 7 June 2023

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

Full work available at URL: https://doi.org/10.1007/s10849-022-09367-w

zbMATH Keywords

bounded rationalityinferencedynamic epistemic logiclogical omniscienceimpossible worlds

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logics of communication and change
• Dynamic epistemic logic
• A logic of situated resource-bounded agents
• Belief, awareness, and limited reasoning
• Impossible possible worlds vindicated
• A catalog of Boolean concepts.
• Resource bounded belief revision
• The effort of reasoning: modelling the inference steps of boundedly rational agents
• A general possible worlds framework for reasoning about knowledge and belief
• A dynamic solution to the problem of logical omniscience
• Logics of public communications
• Dynamic Epistemic Logic and Logical Omniscience
• Logical Dynamics of Information and Interaction
• Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points
• Dynamic logic for belief revision
• Reasoning about knowledge and probability
• Reasoning about rational, but not logically omniscient, agents

This page was built for publication: The effort of reasoning: modelling the inference steps of boundedly rational agents