Journal of Language Modelling > 2017 > Vol. 5, No. 2 > 357--383
Source
Abstract
Identifiers
journal ISSN : | 2299-856X |
journal e-ISSN : | 2299-8470 |
DOI | 10.15398/jlm.v5i2.147 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Carlos Areces, Patrick Blackburn, Antonia Huertas, and María Manzano (2011), Hybrid Type Theory: A Quartet in Four Movements, Principia, 15 (2): 225-247, doi: 10.5007/1808-1711.2011v15n2p225.
-
[2] Carlos Areces, Patrick Blackburn, Antonia Huertas, and María Manzano (2014), Completeness in Hybrid Type Theory, Journal of Philosophical Logic, 43 (2-3): 209-238, ISSN 0022-3611, doi: 10.1007/s10992-012-9260-4.
-
[3] Carlos Areces, Patrick Blackburn, and Maarten Marx (1999), A Road-Map on Complexity for Hybrid Logics, in Jörg Flum and Mario Rodriguez-Artalejo, editors, Computer Science Logic: 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20-25, 1999 Proceedings, pp. 307-321, Springer Berlin Heidelberg, doi: 10.1007/3-540-48168-0_22.