Skip to Main content Skip to Navigation
Books

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
Document type :
Books
Complete list of metadata

https://hal.inria.fr/hal-01261490
Contributor : Tijs van der Storm <>
Submitted on : Monday, January 25, 2016 - 2:07:02 PM
Last modification on : Tuesday, December 18, 2018 - 4:38:03 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

208