• Publications
  • Influence
Merging Frameworks for Interaction
TLDR
This paper takes a closer look at one particular interface, between two systems that both address the dynamics of knowledge and information flow. Expand
‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
TLDR
We propose an extension of public announcement logic with dynamic modal operator that expresses what is true after any announcement: ⋄φ expresses that there is a truthful announcement ψ after which φ is true. Expand
Epistemic dynamics and protocol information
TLDR
We investigate intelligent interaction from the perspectives of epistemic dynamics and protocol information by developing a formal framework that represents the two perspectives. Expand
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability
TLDR
We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: □ϕ expresses what remains true after an arbitrary announcement ψ. Expand
Dynamic epistemic logic with branching temporal structures
TLDR
We consider the logic TDEL on the merged semantic framework, and its extension with the labeled past-operator “Pϵ”. Expand
A Uniform Logic of Information Dynamics
TLDR
We introduce a new Uniform Public Announcement Logic (UPAL), prove completeness of a deductive system with respect to UPAL semantics, and show that this system axiomatizes the substitution core of PAL. Expand
Merging DEL and ETL
  • T. Hoshi
  • Computer Science
  • J. Log. Lang. Inf.
  • 1 October 2010
TLDR
This paper surveys the interface between the two major logical trends that describe agents’ intelligent interaction over time: dynamic epistemic logic (DEL) and epistemic temporal logic (ETL). Expand
Information dynamics and uniform substitution
TLDR
The picture of information acquisition as the elimination of possibilities has proven fruitful in many domains, serving as a foundation for formal models in philosophy, linguistics, computer science, and economics. Expand
Public Announcement Logics with Constrained Protocols
Public announcement logic (PAL) is a paradigm case of dynamic epistemic logic, which models how agents’ epistemic states change when pieces of information are communicated publicly. PAL extendsExpand
Schematic Validity in Dynamic Epistemic Logic: Decidability
TLDR
We answer positively the open question of whether the set of schematic validities of multi-agent PAL and its extension PAL-RC with relativized common knowledge is decidable. Expand
...
1
2
3
...