Récemment recherché

Aucun résultat trouvé

Étiquettes

Aucun résultat trouvé

Document

Aucun résultat trouvé

Accueil Écoles Thèmes

Connexion

Unification in epistemic logics

Partager "Unification in epistemic logics"

N/A

N/A

Protected

Année scolaire: 2021

Info

Protected

Academic year: 2021

Partager "Unification in epistemic logics"

Copied!

16

0

0

16

0

0

Chargement.... (Voir le texte intégral maintenant)

Télécharger maintenant ( 16 Page )

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

Télécharger maintenant ( PDF - 16 Page - 181.90 KB )

Documents relatifs

Documents relatifs

Remarks about the unification type of several non-symmetric non-transitive modal logics

Remarks about the unification type of several non-symmetric non-transitive modal logics

21

0

0

KD is nullary

11

0

0

From paraconsistent three-valued logics to multiple-source epistemic logic

From paraconsistent three-valued logics to multiple-source epistemic logic

9

0

0

A gentle introduction to unification in modal logics

A gentle introduction to unification in modal logics

11

0

0

Unification in epistemic logics

Unification in epistemic logics

17

0

0

Remarks about the unification type of several non-symmetric non-transitive modal logics

Remarks about the unification type of several non-symmetric non-transitive modal logics

22

0

0

KD is nullary

12

0

0