Hybrid Logic Meets IF Modal Logic

Fiche du document

Auteur
Date

28 avril 2009

Discipline
Type de document
Périmètre
Langue
Identifiants
Source

HAL-SHS : philosophie

Collection

Archives ouvertes

Organisation

Centre pour la communication scientifique directe

Mots-clés En

Compositionality Decidability Expressive power Game-theoretic semantics Hybrid logic Independence friendly logic Modal logic

Sujets proches En

Argumentation Dialectic (Logic) Deduction (Logic) Deductive logic Logic, Deductive

Citer ce document

Tero Tulenheimo, « Hybrid Logic Meets IF Modal Logic », HAL-SHS : philosophie, ID : 10670/1.7cmg9n

Métriques

Partage / Export

Résumé 0

International audience

document thumbnail

Par les mêmes auteurs

Sur les mêmes sujets

Sur les mêmes disciplines

Exporter en