Quantifiers: Logics, Models and Computation
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Netherlands

9789048145393, 9789401705226

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model Theory of Topological Structures

Quantifiers: Logics, Models and Computation ◽

10.1007/978-94-017-0522-6_9 ◽

1995 ◽

pp. 297-312

Author(s):

Jörg Flum

Keyword(s):

Model Theory ◽

Topological Structures

Download Full-text

Quantifiers in Natural Language A Survey of Some Recent Work

Quantifiers: Logics, Models and Computation ◽

10.1007/978-94-017-0522-6_11 ◽

1995 ◽

pp. 359-408 ◽

Cited By ~ 4

Author(s):

Dag Westerståhl

Keyword(s):

Natural Language ◽

Recent Work

Download Full-text

Henkin Quantifiers

Quantifiers: Logics, Models and Computation ◽

10.1007/978-94-017-0522-6_7 ◽

1995 ◽

pp. 193-262 ◽

Cited By ~ 18

Author(s):

Michał Krynicki ◽

Marcin Mostowski

Keyword(s):

Henkin Quantifiers

Download Full-text

Games and Trees in Infinitary Logic: A Survey

Quantifiers: Logics, Models and Computation ◽

10.1007/978-94-017-0522-6_5 ◽

1995 ◽

pp. 105-138 ◽

Cited By ~ 1

Author(s):

Jouko Väänänen

Keyword(s):

Infinitary Logic

Download Full-text

Finite Generation Problem and n-ary Quantifiers

Quantifiers: Logics, Models and Computation ◽

10.1007/978-94-017-0522-6_4 ◽

1995 ◽

pp. 63-104 ◽

Cited By ~ 3

Author(s):

Lauri Hella ◽

Kerkko Luosto

Keyword(s):

Finite Generation ◽

Generation Problem

Download Full-text

Prologue

Quantifiers: Logics, Models and Computation ◽

10.1007/978-94-017-0522-6_2 ◽

1995 ◽

pp. 21-24 ◽

Cited By ~ 4

Author(s):

Per Lindström

Download Full-text

Quantifiers, Some Problems and Ideas

Quantifiers: Logics, Models and Computation ◽

10.1007/978-94-017-0522-6_1 ◽

1995 ◽

pp. 1-19

Author(s):

Michał Krynicki ◽

Marcin Mostowski

Download Full-text

Continuous Operations on Spaces of Structures

Quantifiers: Logics, Models and Computation ◽

10.1007/978-94-017-0522-6_8 ◽

1995 ◽

pp. 263-296 ◽

Cited By ~ 1

Author(s):

Xavier Caicedo

Download Full-text

Theory of Linear Order in Extended Logics

Quantifiers: Logics, Models and Computation ◽

10.1007/978-94-017-0522-6_6 ◽

1995 ◽

pp. 139-192

Author(s):

Heinrich Herre

Keyword(s):

Linear Order

Download Full-text

On the Model Theory of Some Generalized Quantifiers

Quantifiers: Logics, Models and Computation ◽

10.1007/978-94-017-0522-6_3 ◽

1995 ◽

pp. 25-62

Author(s):

Heinz-Dieter Ebbinghaus

Keyword(s):

Model Theory ◽

Generalized Quantifiers

Download Full-text