Fiche du document
Auteurs
Date
11 septembre 2006
Discipline
Type de document
Périmètre
Langue
Identifiants
- handle: 10670/1.oi8ewl
- hal: hal-01249651
Source
Collection
Organisation
Mots-clés
decidability computational complexity two-variable fragments expressivity independence friendly logicSujets proches
Modal logic Argumentation Dialectic (Logic) Deduction (Logic) Deductive logic Logic, DeductiveCiter ce document
Tero Tulenheimo et al., « On Modal Logic, IF Logic, and IF Modal Logic », HAL-SHS : philosophie, ID : 10670/1.oi8ewl
Métriques
Partage / Export
Résumé
International audience