Johan Van Benthem (eds.): search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (30)
Most Popular
List
- List
- Table

1

The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today

The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today

Johan van Benthem, Gerhard Heinzmann, Manuel Rebuschi, Henk Visser (eds.)

Year:

2006

Language:

english

File:

PDF, 3.47 MB

0 / 0

english, 2006

2

Models of Strategic Reasoning: Logics, Games, and Communities

Models of Strategic Reasoning: Logics, Games, and Communities

Springer-Verlag Berlin Heidelberg

Johan van Benthem, Sujata Ghosh, Rineke Verbrugge (eds.)

Year:

2015

Language:

english

File:

PDF, 7.22 MB

0 / 0

english, 2015

3

Games, Norms and Reasons: Logic at the Crossroads

Games, Norms and Reasons: Logic at the Crossroads

Springer Netherlands

Horacio Arló Costa, Arthur Paul Pedersen (auth.), Johan van Benthem, Amitabha Gupta, Eric Pacuit (eds.)

Year:

2011

Language:

english

File:

PDF, 4.49 MB

0 / 0

english, 2011

4

Logic and philosophy today, vol.2

Logic and philosophy today, vol.2

College Publications

Gupta, Amitabha, Benthem, Johan van (eds.)

Year:

2011

Language:

english

File:

DJVU, 3.83 MB

0 / 0

english, 2011

5

Logic and philosophy today, vol.1

Logic and philosophy today, vol.1

College Publications

Gupta, Amitabha, Benthem, Johan van (eds.)

Year:

2011

Language:

english

File:

DJVU, 4.76 MB

0 / 0

english, 2011

6

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

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

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (eds.)

Year:

2000

Language:

english

File:

PDF, 5.03 MB

0 / 0

english, 2000

7

Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London

Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London

Amsterdam University Press

Benthem, Johan van, Gabbay, Dov. M., Löwe, Benedikt (eds.)

Year:

2007

Language:

english

File:

PDF, 2.30 MB

0 / 0

english, 2007

8

Language in Action: Categories, Lambdas and Dynamic Logic

Language in Action: Categories, Lambdas and Dynamic Logic

Johan van Benthem (Eds.)

Year:

1991

Language:

english

File:

PDF, 4.88 MB

0 / 0

english, 1991

9

ICPR Logic and Philosophy Today

ICPR Logic and Philosophy Today

Amitabha Gupta, Johan Van Benthem (eds.)

File:

PDF, 2.52 MB

0 / 0

10

Handbook of Logic and Language

Handbook of Logic and Language

Johan van Benthem, Alice ter Meulen (eds.)

Year:

2011

Language:

english

File:

PDF, 7.81 MB

5.0 / 5.0

english, 2011

11

Handbook of Modal Logic

Handbook of Modal Logic

Elsevier Science

Patrick Blackburn, Johan F.A.K. van Benthem, Frank Wolter (eds)

Year:

2007

Language:

english

File:

PDF, 6.23 MB

5.0 / 0

english, 2007

12

Handbook of Logic and Language

Handbook of Logic and Language

Johan van Benthem, Alice ter Meulen (eds.)

Year:

1997

Language:

english

File:

PDF, 65.21 MB

5.0 / 0

english, 1997

13

Readings in Formal Epistemology: Sourcebook

Readings in Formal Epistemology: Sourcebook

Springer International Publishing

Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem (eds.)

Year:

2016

Language:

english

File:

PDF, 10.08 MB

0 / 0

english, 2016

14

Handbook of Spatial Logics

Handbook of Spatial Logics

Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem (eds.)

Year:

2007

Language:

english

File:

PDF, 4.92 MB

0 / 0

english, 2007

15

Advances in Intensional Logic

Advances in Intensional Logic

Springer Netherlands

Johan Van Benthem, Natasha Alechina (auth.), Maarten de Rijke (eds.)

Year:

1997

Language:

english

File:

PDF, 7.72 MB

5.0 / 0

english, 1997

16

Proof, Computation and Agency: Logic at the Crossroads

Proof, Computation and Agency: Logic at the Crossroads

Springer Netherlands

John N. Crossley (auth.), Johan van Benthem, Amitabha Gupta, Rohit Parikh (eds.)

Year:

2011

Language:

english

File:

PDF, 8.67 MB

0 / 0

english, 2011

17

Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Springer Netherlands

Jen Erik Fenstad (auth.), Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem (eds.)

Year:

1997

Language:

english

File:

PDF, 12.40 MB

0 / 0

english, 1997

18

Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Springer Netherlands

E. G. Beltrametti (auth.), Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan Van Benthem (eds.)

Year:

1997

Language:

english

File:

PDF, 12.57 MB

0 / 0

english, 1997

19

Diamonds and Defaults: Studies in Pure and Applied Intensional Logic

Diamonds and Defaults: Studies in Pure and Applied Intensional Logic

Springer Netherlands

Johan van Benthem (auth.), Maarten de Rijke (eds.)

Year:

1993

Language:

english

File:

PDF, 7.81 MB

0 / 0

english, 1993

20

Resource-Sensitivity, Binding and Anaphora

Resource-Sensitivity, Binding and Anaphora

Springer Netherlands

Johan van Benthem (auth.), Geert-Jan M. Kruijff, Richard T. Oehrle (eds.)

Year:

2003

Language:

english

File:

PDF, 10.13 MB

0 / 0

english, 2003

21

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

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

Springer Netherlands

Johan van Benthem (auth.), Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba (eds.)

Year:

1995

Language:

english

File:

PDF, 7.37 MB

0 / 0

english, 1995

22

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

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

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)

Year:

1989

Language:

english

File:

DJVU, 6.51 MB

0 / 0

english, 1989

23

Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Johan van Benthem, Eric Pacuit (auth.), Hans van Ditmarsch, Jérôme Lang, Shier Ju (eds.)

Year:

2011

Language:

english

File:

PDF, 4.88 MB

0 / 0

english, 2011

24

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

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

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)

Year:

1989

Language:

english

File:

PDF, 14.20 MB

0 / 0

english, 1989

25

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

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

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), R. Ramanujam, Sundar Sarukkai (eds.)

Year:

2009

Language:

english

File:

PDF, 3.11 MB

0 / 0

english, 2009

26

Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Johan van Benthem, Eric Pacuit (auth.), Hans van Ditmarsch, Jérôme Lang, Shier Ju (eds.)

Year:

2011

Language:

english

File:

PDF, 5.41 MB

0 / 0

english, 2011

27

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

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

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), R. Ramanujam, Sundar Sarukkai (eds.)

Year:

2009

Language:

english

File:

PDF, 4.26 MB

0 / 0

english, 2009

28

Handbook of Spatial Logics

Handbook of Spatial Logics

Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem (eds.)

Year:

2007

Language:

english

File:

DJVU, 10.03 MB

0 / 0

english, 2007

29

Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem (eds.)

Year:

1997

Language:

english

File:

DJVU, 4.64 MB

0 / 0

english, 1997

30

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

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

Springer-Verlag Berlin Heidelberg

Johan van Benthem (auth.), Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (eds.)

Year:

2000

Language:

english

File:

PDF, 7.86 MB

0 / 0

english, 2000