Logic in Action

Johan Van Benthem 1 Hans Ditmarsch 2 Jan Van Eijck 3 Jan Jaspars 1
2 CELLO - Computational Epistemic Logic in LOrraine
LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery
3 ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
Inria Lille - Nord Europe, CWI - Centrum Wiskunde & Informatica
Type de document :
Ouvrage (y compris édition critique et traduction)
Internet, 2015
Liste complète des métadonnées

https://hal.inria.fr/hal-01261490
Contributeur : Tijs Van Der Storm <>
Soumis le : lundi 25 janvier 2016 - 14:07:02
Dernière modification le : jeudi 11 janvier 2018 - 06:27:31

Identifiants

  • HAL Id : hal-01261490, version 1

Collections

Citation

Johan Van Benthem, Hans Ditmarsch, Jan Van Eijck, Jan Jaspars. Logic in Action. Internet, 2015. 〈hal-01261490〉

Partager

Métriques

Consultations de la notice

119