Results 231 to 240 of about 3,678,044 (245)

Intensional Protocols for Dynamic Epistemic Logic

Journal of Philosophical Logic, 2019
In dynamical multi-agent systems, agents are controlled by protocols. In choosing a class of formal protocols, an implicit choice is made concerning the types of agents, actions and dynamics representable.
Rasmus Kræmmer Rendsvig
exaly   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

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
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  

Dynamic Epistemic Logic for Budget-Constrained Agents

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

Inquisitive dynamic epistemic logic

SynthÈse, 2014
Floris Roelofsen
exaly  

Dynamic epistemic logic with branching temporal structures

SynthÈse, 2009
Audrey Yap
exaly  

Extending probabilistic dynamic epistemic logic

SynthÈse, 2009
Joshua Sack
exaly  

Agreement Theorems in Dynamic-Epistemic Logic

Journal of Philosophical Logic, 2012
Cedric Dégremont
exaly