Johan Van Benthem (auth.): cercare sul sito Z-Library

Accesso libero alla conoscenza e alla cultura.

Don't use scam websites

Libri (18)
Più popolari
Lista
- Lista
- Tabella

1

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.)

Anno:

2011

Lingua:

english

File:

PDF, 4.49 MB

0 / 0

english, 2011

2

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.)

Anno:

2000

Lingua:

english

File:

PDF, 5.03 MB

0 / 0

english, 2000

3

Essays in Logical Semantics

Essays in Logical Semantics

Springer Netherlands

Johan Van Benthem (auth.)

Anno:

1986

Lingua:

english

File:

PDF, 3.59 MB

0 / 0

english, 1986

4

Advances in Intensional Logic

Advances in Intensional Logic

Springer Netherlands

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

Anno:

1997

Lingua:

english

File:

PDF, 7.72 MB

5.0 / 0

english, 1997

5

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.)

Anno:

2011

Lingua:

english

File:

PDF, 8.67 MB

0 / 0

english, 2011

6

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.)

Anno:

1997

Lingua:

english

File:

PDF, 12.40 MB

0 / 0

english, 1997

7

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.)

Anno:

1997

Lingua:

english

File:

PDF, 12.57 MB

0 / 0

english, 1997

8

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.)

Anno:

1993

Lingua:

english

File:

PDF, 7.81 MB

0 / 0

english, 1993

9

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.)

Anno:

1995

Lingua:

english

File:

PDF, 7.37 MB

0 / 0

english, 1995

10

Resource-Sensitivity, Binding and Anaphora

Resource-Sensitivity, Binding and Anaphora

Springer Netherlands

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

Anno:

2003

Lingua:

english

File:

PDF, 10.13 MB

0 / 0

english, 2003

11

Situations, Language and Logic

Situations, Language and Logic

Springer Netherlands

Jens Erik Fenstad, Per-Kristian Halvorsen, Tore Langholm, Johan Van Benthem (auth.)

Anno:

1987

Lingua:

english

File:

PDF, 10.72 MB

0 / 0

english, 1987

12

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.)

Anno:

1989

Lingua:

english

File:

DJVU, 6.51 MB

0 / 0

english, 1989

13

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.)

Anno:

2011

Lingua:

english

File:

PDF, 4.88 MB

0 / 0

english, 2011

14

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.)

Anno:

2009

Lingua:

english

File:

PDF, 3.11 MB

0 / 0

english, 2009

15

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.)

Anno:

1989

Lingua:

english

File:

PDF, 14.20 MB

0 / 0

english, 1989

16

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.)

Anno:

2011

Lingua:

english

File:

PDF, 5.41 MB

0 / 0

english, 2011

17

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.)

Anno:

2009

Lingua:

english

File:

PDF, 4.26 MB

0 / 0

english, 2009

18

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.)

Anno:

2000

Lingua:

english

File:

PDF, 7.86 MB

0 / 0

english, 2000