28572 articles – 22064 references  [version française]

inria-00100628, version 1

Bringing them all together

Carlos Areces () a, 1, Patrick Blackburn () b, 2

Journal of Logic and Computation 11, 5 (2001) 657-669

Abstract: This is the editorial for a special issue of Journal of Logic and Computation on hybrid logic. It presents the basic ideas, surveys the field, and points to ongoing work. It is a readable introduction to the world of hybrid logic.

  • a –  UNIVERSITY OF AMSTERDAM
  • b –  INRIA
  • 1:  Institute of Theoretical Physics (UNIVERSITY OF AMSTERDAM)
  • University of Amsterdam
  • 2:  LANGUE ET DIALOGUE (INRIA Lorraine - LORIA)
  • INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
  • Domain : Computer Science/Other
  • Keywords : hybrid logic || logique hybride
  • Internal note : A01-R-348 || areces01c
  • Comment : Article dans revue scientifique avec comité de lecture.
 
  • inria-00100628, version 1
  • http://hal.inria.fr/inria-00100628
  • oai:hal.inria.fr:inria-00100628
  • From: Publications Loria <>
  • Submitted on: Tuesday, 26 September 2006 14:48:28
  • Updated on: Thursday, 28 September 2006 15:22:47