* * * * * * * * * * * * * * * * * * * * * * * *
LINGUIST List logo Eastern Michigan University Wayne State University *
* People & Organizations * Jobs * Calls & Conferences * Publications * Language Resources * Text & Computer Tools * Teaching & Learning * Mailing Lists * Search *
* *


LINGUIST List 25.2318

Tue May 27 2014

TOC: Journal of Logic, Language and Information 23/1 (2014)

Editor for this issue: Andrew Lamont <alamontlinguistlist.org>

Date: 26-May-2014
From: Helen van der Stelt <Helen.vanderSteltspringer.com>
Subject: Journal of Logic, Language and Information Vol. 23, No. 1 (2014)
E-mail this message to a friend

Publisher: Springer
http://www.springer.com

Journal Title: Journal of Logic, Language and Information
Volume Number: 23
Issue Number: 1
Issue Date: 2014


Main Text:

Title: Strategic Reasoning: Building Cognitive Models from Logical Formulas
Author(s): Sujata Ghosh, Ben Meijering, Rineke Verbrugge
pages: 1-29
DOI: DOI 10.1007/s10849-014-9196-x

Title: A Hilbert-Style Axiomatisation for Equational Hybrid Logic
Author(s): Luis S. Barbosa, Manuel A. Martins, M. Carreteiro
pages: 31-52
DOI: DOI 10.1007/s10849-013-9184-6

Title: On the Identification of Quantifiers’ Witness Sets: A Study of Multi-quantifier Sentences
Author(s): L. Robaldo, J. Szymanik, B. Meijering
pages: 53-81
DOI: DOI 10.1007/s10849-014-9197-9

Title: Speed Up the Conception of Logical Systems with Test-Driven Development
Author(s): M. Vidal
pages: 83-103
DOI: DOI 10.1007/s10849-013-9180-x


Linguistic Field(s): Cognitive Science
                            Pragmatics
                            Semantics

Read more issues|LINGUIST home page|Top of issue



Page Updated: 27-May-2014

Supported in part by the National Science Foundation       About LINGUIST    |   Contact Us       ILIT Logo
While the LINGUIST List makes every effort to ensure the linguistic relevance of sites listed on its pages, it cannot vouch for their contents.