An algorithmic impossible-worlds model of belief and knowledge

DOI10.1017/S1755020323000059MaRDI QIDQ6552269zbMATH OpenFDO

Authors Zeynep Soysal

Publication date 8 June 2024

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

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S1755020323000059

zbMATH Keywords

algorithmic knowledgebounded rationalitydoxastic logicepistemic logicimpossible worldsproblem of logical omniscience

Mathematics Subject Classification ID

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

Cites work

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

Cited in

(1)

• The problem of existence for descriptivism about the reference of set-theoretic expressions

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)