122385

References

Johan van Benthem

Introduction

2016

with Arló-Costa Horacio, Hendricks Vincent F.

in: Readings in formal epistemology, Dordrecht : Springer

Open Access Link
Introduction

2016

with Arló-Costa Horacio, Hendricks Vincent F.

in: Readings in formal epistemology, Dordrecht : Springer

Open Access Link
Introduction

2016

with Arló-Costa Horacio, Hendricks Vincent F.

in: Readings in formal epistemology, Dordrecht : Springer

Open Access Link
Introduction

2016

with Arló-Costa Horacio, Hendricks Vincent F.

in: Readings in formal epistemology, Dordrecht : Springer

Open Access Link
Introduction

2016

with Arló-Costa Horacio, Hendricks Vincent F.

in: Readings in formal epistemology, Dordrecht : Springer

Open Access Link
Open problems in logical dynamics

2006

in: Mathematical problems from applied logic I, Dordrecht : Springer

Open Access Link
Probabilistic features in logic games

2004

in: Quantifiers, questions and quantum physics, Dordrecht : Springer

Open Access Link
Diversity of logical agents in games

2004

with Liu Fenrong

Philosophia Scientiae 8/2

Open Access
The Lambek calculus

1988

in: Categorial grammars and natural language structures, Dordrecht : Springer

Open Access Link
Categorial grammar and lambda calculus

1987

in: Mathematical logic and its applications, Dordrecht : Springer

Open Access Link