منابع مشابه
Epistemic Logic and Information Update
Epistemic logic investigates what agents know or believe about certain factual descriptions of the world, and about each other. It builds on a model of what information is (statically) available in a given system, and isolates general principles concerning knowledge and belief. The information in a system may well change as a result of various changes: events from the outside, observations by t...
متن کاملDynamic Epistemic Temporal Logic
We propose Dynamic Epistemic Temporal Logic, a dynamic-protocol framework that overcomes the Problem of Synchronicity in the popular Dynamic Epistemic Logic approach to reasoning about multi-agent belief change. Dynamic Epistemic Temporal Logic not only extends the domain of applicability of standard Dynamic Epistemic Logic, but it also clarifies how certain structural properties (such as synch...
متن کاملProbabilistic Dynamic Epistemic Logic
In this paper I combine the dynamic epistemic logic of Gerbrandy (1999) with the probabilistic logic of Fagin and Halpern (1994). The result is a new probabilistic dynamic epistemic logic, a logic for reasoning about probability, information, and information change that takes higher order information into account. Probabilistic epistemic models are defined, and a way to build them for applicati...
متن کاملDynamic Epistemic Logic
In this overview we tell you the story of the rise of dynamic epistemic logic. It is of course a bit presumptious to call it a rise, but we can only observe this rather peculiar phenomenon. The number of active researchers in these logics seem to grow strongly every year, possibly because there are so many relations to computer science, to multi-agent systems, to philosophy, and to cognitive sc...
متن کاملDynamic Epistemic Logic
This paper is the result of combining two traditions in formal logic: epistemic logic and dynamic semantics. Dynamic semantics is a branch of formal semantics that is concerned with change, and more in particular with change of information. The main idea in dynamic semantics is that the meaning of a syntactic unit—be it a sentence of natural language or a computer program—is best described as t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2016
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exw002