Results 251 to 260 of about 77,232 (273)

Dynamic epistemic logic for protocol analysis

2009
The next day, the participants in the discussion on protocol analysis reconvene. This time, they have an in-depth exchange of ideas on possible uses of epistemic logic.
van Eijck, J., Dechesne, F., Teepe, W., Wang, Y.   +3 more
openaire   +2 more sources

Dynamic turn in epistemic logic

2016
Популяризація спеціалізованих наукових знань необхідна і для цього можна вказати мінімум 2 причини. Перша: популярний і доступний виклад наукових здобутків виконує агітаційну та профорієнтаційну роль, заохочуючи молодь займатися дослідженнями в певних областях знань.
openaire   +1 more source

Dynamic Epistemic Logic II: Logics of Information Change

Philosophy Compass, 2013
Abstract This is the second paper in a two‐part series introducing logics for reasoning about the dynamics of knowledge and beliefs. Part I introduced different logical systems that can be used to reason about the knowledge and beliefs of a group of agents.
openaire   +1 more source

Game description language and dynamic epistemic logic compared

Artificial Intelligence, 2021
Michael Thielscher
exaly  

Dynamic Epistemic Logic

2008
van Ditmarsch, H.P., van der Hoek, W., Kooi, Barteld   +2 more
openaire   +2 more sources

Suspensive Condition & Dynamic Epistemic Logic.

2015
In line with [2], [12, 13, 14] carefully studies the Leibnizian notion of suspensive condition—notion that Leibniz sometimes names moral condition.Thiercelin points out Leibniz’ will to provide a rigorous definition of that kind of condition. Leibniz not only establishes a link between the legal notion of condition and the logical notion of condition ...
openaire   +1 more source

A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks

Journal of Logical and Algebraic Methods in Programming, 2021
Hans van Ditmarsch, Eric Goubault, Marijana Lazic   +2 more
exaly  

A simplicial complex model for dynamic epistemic logic to study distributed task computability

Information and Computation, 2021
Eric Goubault, Jérémy Ledent, Sergio Rajsbaum   +2 more
exaly  

On Inverse Operators in Dynamic Epistemic Logic

Lecture Notes in Computer Science, 2022
Shota Motoura, Shin-ya Katsumata
exaly  

Dynamic term-modal logics for first-order epistemic planning

Artificial Intelligence, 2020
Rasmus Kræmmer Rendsvig
exaly