• Aucun résultat trouvé

Unification in epistemic logics

N/A
N/A
Protected

Academic year: 2021

Partager "Unification in epistemic logics"

Copied!
16
0
0

Texte intégral

Figure

Table 1. Cl: classes of frames; MuAg: Multi-agent; Pa: parameters; CoUn: computability of unifiability; UnTy: unification types.

Références

Documents relatifs