Formal Methods

Lógica Epistémica Dinámica

Definition

La Lógica Epistémica Dinámica (DEL) extiende la lógica modal para modelar cómo evoluciona …