Johan van Benthem (auth.)

Situations, Language and Logic

1987 · ENGLISH · PDF

View details →

Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

2009 · ENGLISH · PDF

View details →

Diamonds and Defaults: Studies in Pure and Applied Intensional Logic

1993 · ENGLISH · PDF

View details →

Essays in Logical Semantics

1986 · ENGLISH · PDF

View details →

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

1989 · ENGLISH · PDF

View details →

Quantifiers: Logics, Models and Computation: Volume Two: Contributions

1995 · ENGLISH · PDF

View details →

Resource-Sensitivity, Binding and Anaphora

2003 · ENGLISH · PDF

View details →

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

2000 · ENGLISH · PDF

View details →

Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

2009 · ENGLISH · PDF

View details →

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

1989 · ENGLISH · DJVU

View details →

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

2000 · ENGLISH · PDF

View details →