Dynamic consequence for soft information
TL;DR: A sound, complete calculus for one-step soft dynamic consequence relations for models of soft information change is provided and a generalization to sequences of updates is studied, for which a number of valid and invalid structural rules are shown.
read more
Abstract: This article looks at so-called dynamic consequence relations for models of soft information change. We provide a sound, complete calculus for one-step soft dynamic consequence relations. We then study a generalization to sequences of updates, for which we show a number of valid and invalid structural rules.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Epistemic Relevance and Epistemic Actions
Sebastian Sequoiah-Grayson
- 01 Jan 2016
TL;DR: A new perspective on the problem of logical omniscience is taken, using informationalised operational semantics to model the properties of the epistemic actions that underpin the empirical relevance of certain explicit epistemic states of an epistemic agent as that agent executes said actions.
5
Substructural epistemic logics
TL;DR: The article introduces substructural epistemic logics of belief supported by evidence, and shows that the framework presents a natural solution to the problem of logical omniscience.
References
•Book
Dynamic Epistemic Logic
Hans van Ditmarsch,Wiebe van der Hoek,Barteld Kooi +2 more
- 15 Nov 2007
TL;DR: This book provides various logics to support formal specifications of multi-agent systems, including proof systems, and discusses various results on the expressive power of the logics presented.
1.3K
The logic of public announcements, common knowledge, and private suspicions
Alexandru Baltag,Lawrence S. Moss,Sławomir Solecki +2 more
- 22 Jul 1998
TL;DR: This paper presents a logical system in which various group-level epistemic actions are incorporated into the object language and contains the infinitary operators used in the standard modeling of common knowledge.
Defaults in update semantics
TL;DR: In this article, the authors introduce the framework of update semantics and explain what kind of semantic phenomena may successfully be analyzed in it and give a detailed analysis of one such phenomenon: default reasoning.
The logic of public announcements, common knowledge, and private suspicions
Alexandru Baltag,Lawrence S. Moss,Sławomir Solecki +2 more
- 01 Jan 1999
TL;DR: In this paper, the authors present a logical system in which various group-level epistemic actions are incorporated into the object language, such as announcements to groups privately, announcements with suspicious outsiders, etc.
706
Related Papers (5)
Eric Pacuit,Olivier Roy +1 more
- 01 Jan 2006
Olivier Roy,Vincent F. Hendricks,C. Roy +2 more
- 01 Aug 2010
Dominik Klein,Johannes Marx +1 more
- 01 Jan 2014
Olivier Roy
- 01 Jan 2006