Results 141 to 150 of about 1,988 (154)

Dynamic Epistemic Logic of Finite Identification

2009
Following the approach given by Nina Gierasimczuk [2009] to bridge dynamic epistemic logic and learning theory, the logic of finite identification in the limit in the process of learning has been explored in this paper. The main results are two complete axiomatic systems. One is defined in terms of public announcements, and the other in terms of update
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
Jeremy Ledent, Sérgio Rajsbaum, Eric Goubault   +2 more
exaly  

On Inverse Operators in Dynamic Epistemic Logic

Lecture Notes in Computer Science, 2022
Shin-Ya Katsumata, Shota Motoura, Katsumata Shin-Ya   +2 more
exaly  

Game description language and dynamic epistemic logic compared

Artificial Intelligence, 2021
Robert Mattmüller, Thorsten Engesser, Bernhard Nebel   +2 more
exaly  

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

Information and Computation, 2021
Jeremy Ledent, Sérgio Rajsbaum, Eric Goubault   +2 more
exaly  

On Inverse Operators in Dynamic Epistemic Logic

2021
Shota Motoura, Shin-ya Katsumata
openaire   +1 more source

Dynamic Epistemic Logic for Budget-Constrained Agents

Lecture Notes in Computer Science, 2023
Vitaliy Dolgorukov, Maksim Gladyshev
exaly  

Dynamic epistemic logic with branching temporal structures

SynthÈse, 2009
Audrey Yap, Yap Audrey
exaly  

Agreement Theorems in Dynamic-Epistemic Logic

Journal of Philosophical Logic, 2012
Cedric Dégremont, Dégremont Cedric
exaly  

Planning Using Dynamic Epistemic Logic: Correspondence and Complexity

Lecture Notes in Computer Science, 2013
Martin Holm Jensen
exaly