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

Synthese 190/4

Between logic and intuition

2013

Synthese 186/3

Logic meets physics

2012

Introduction

2011

with Kuipers Theo A., Visser Henk

Synthese 179/2

Open Access Link

Synthese 179/2

Logic and philosophy of science in the footsteps of E. W. Beth

2011

Synthese 169/2

Knowledge, rationality & action

2009

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