The Dynamics of Syntactic Knowledge
From MaRDI portal
Publication:3437259
DOI10.1093/logcom/exl019zbMath1118.03008MaRDI QIDQ3437259
Natasha Alechina, Thomas Ågotnes
Publication date: 14 May 2007
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.5792
03B42: Logics of knowledge and belief (including belief change)
Related Items
On the factivity of implicit intersubjective knowledge, Dynamic logics of knowledge and access, Logic and social cognition. The facts matter, and so do computational models, Belief ascription under bounded resources, Epistemic logic for rule-based agents, A logic of situated resource-bounded agents, Introspection as an action in relational models, A probabilistic semantics for belief logic, Strategic reasoning: building cognitive models from logical formulas, Dynamic epistemic logic for implicit and explicit beliefs, Rethinking epistemic logic with belief bases, Logics of Rational Interaction, Dynamic Epistemic Logic and Logical Omniscience, Logical Dynamics of Evidence, Verifying Time and Communication Costs of Rule-Based Reasoners