7 citations · 9 across the 5 of their papers we have counts for
5 papers
On the Solvability of Inductive Problems: A Study in Epistemic Topology
Alexandru Baltag, Nina Gierasimczuk, Sonja Smets
We investigate the issues of inductive problem-solving and learning by doxastic agents. We provide topological characterizations of solvability and learnability, and we use them to…
Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge
R Ramanujam
The 15th Conference on Theoretical Aspects of Rationality and Knowledge (TARK) took place in Carnegie Mellon University, Pittsburgh, USA from June 4 to 6, 2015. The mission of the…
Revisable Justified Belief: Preliminary Report
Alexandru Baltag, Bryan Renne, Sonja Smets
The theory of Conditional Doxastic Logic is the single-agent version of Board's multi-agent theory of conditional belief. may be view…
A Dynamic-Epistemic Logic for Mobile Structured Agents
Anya Yermakova, Alexandru Baltag
Multi-agent systems have been studied in various contexts of both application and theory. We take Dynamic Epistemic Logic (DEL), one of the formalisms designed to reason about such…
Epistemic actions as resources
Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommodate…