Trends in Logic - Logic, Language and Reasoning
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Netherlands

9789401059367, 9789401145749

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Labelled Deduction in the Composition of Form and Meaning

Trends in Logic - Logic, Language and Reasoning ◽

10.1007/978-94-011-4574-9_15 ◽

1999 ◽

pp. 377-399 ◽

Author(s):

Michael Moortgat

Download Full-text

Transformation Methods in LDS

Trends in Logic - Logic, Language and Reasoning ◽

10.1007/978-94-011-4574-9_14 ◽

1999 ◽

pp. 335-376

Author(s):

Krysia Broda ◽

Marcello D’Agostino ◽

Alessandra Russo

Keyword(s):

Transformation Methods

Download Full-text

Imperative History: Two-Dimensional Executable Temporal Logic

Trends in Logic - Logic, Language and Reasoning ◽

10.1007/978-94-011-4574-9_5 ◽

1999 ◽

pp. 73-98

Author(s):

Marcelo Finger ◽

Mark Reynolds

Keyword(s):

Temporal Logic ◽

Two Dimensional

Download Full-text

Proofs, Labels and Dynamics in Natural Language

Trends in Logic - Logic, Language and Reasoning ◽

10.1007/978-94-011-4574-9_3 ◽

1999 ◽

pp. 31-41

Author(s):

Johan Van Benthem

Keyword(s):

Natural Language

Download Full-text

Towards a Procedural Model of Natural-Language Interpretation Crossover: A Case Study

Trends in Logic - Logic, Language and Reasoning ◽

10.1007/978-94-011-4574-9_13 ◽

1999 ◽

pp. 295-334

Author(s):

Ruth Kempson

Keyword(s):

Natural Language ◽

Language Interpretation ◽

Natural Language Interpretation

Download Full-text

Dov Gabbay: “I am a Logic”

Trends in Logic - Logic, Language and Reasoning ◽

10.1007/978-94-011-4574-9_1 ◽

1999 ◽

pp. 1-12

Author(s):

Jelle Gerbrandy ◽

Anne-Marie Mineur

Download Full-text

Deductive Systems and Categories in Linguistics

Trends in Logic - Logic, Language and Reasoning ◽

10.1007/978-94-011-4574-9_12 ◽

1999 ◽

pp. 279-294 ◽

Author(s):

Joachim Lambek

Keyword(s):

Deductive Systems

Download Full-text

Research Themes of Dov Gabbay

Trends in Logic - Logic, Language and Reasoning ◽

10.1007/978-94-011-4574-9_2 ◽

1999 ◽

pp. 13-30

Author(s):

Hans Jürgen Ohlbach ◽

Uwe Reyle

Keyword(s):

Research Themes

Download Full-text

Two Traditions in the Logic of Belief: Bringing them Together

Trends in Logic - Logic, Language and Reasoning ◽

10.1007/978-94-011-4574-9_8 ◽

1999 ◽

pp. 135-147 ◽

Author(s):

Krister Segerberg

Download Full-text

A General Reasoning Scheme for Underspecified Representations

Trends in Logic - Logic, Language and Reasoning ◽

10.1007/978-94-011-4574-9_11 ◽

1999 ◽

pp. 251-277

Author(s):

Esther König ◽

Uwe Reyle

Download Full-text