An algorithmic impossible-worlds model of belief and knowledge

DOI10.1017/S1755020323000059MaRDI QIDQ6552269

Zeynep Soysal

Publication date: 8 June 2024

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

bounded rationalityepistemic logicdoxastic logicimpossible worldsproblem of logical omnisciencealgorithmic knowledge

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The problem of rational knowledge
• Dealing with logical omniscience: expressiveness and pragmatics
• Dynamic logics of evidence-based beliefs
• Impossible worlds: A modest approach
• A dynamic solution to the problem of logical omniscience
• Impossible worlds and logical omniscience: an impossibility result
• Explicit provability and constructive semantics
• Resource-bounded reasoning about knowledge
• Modeling adversaries in a logic for security protocol analysis
• Dynamic Epistemic Logic and Logical Omniscience
• Reasoning about rational, but not logically omniscient, agents
• Shadows of Syntax
• Probabilistic Algorithmic Knowledge
• The effort of reasoning: modelling the inference steps of boundedly rational agents
• Logic talk
• The logic of fast and slow thinking

This page was built for publication: An algorithmic impossible-worlds model of belief and knowledge

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6552269)