Content: BIBLIO
SortPubli: byDateDesc
Publityp: ALL
Filter Corrresp: ALL
PubliLang: ALL
Decade: ALL

Johan van Benthem

Bibliography Biography Work & ideas Literature CORRESP

ALL BOOKS BOOKED ARTJRNL
BYTITLE CHRONO ANTICHRONO

with Arló-Costa Horacio, Hendricks Vincent F. (2016) Readings in formal epistemology: sourcebook, Dordrecht, Springer.

with Hendricks Vincent F., Symons John (2013) Synthese 190 (4).

with Smets Sonja (2012) Synthese 186 (3).

with Kuipers Theo A., Visser Henk (2011) Synthese 179 (2).

with Ågotnes Thomas, Pacuit Eric (2009) Synthese 169 (2).

with Liu Fenrong (2004) "Diversity of logical agents in games", Philosophia Scientiae 8 (2), pp.163-178.

(1988) "The Lambek calculus", in: Oehrle Richard T.; Bach Emmon; Wheeler Deirdre (ed), Categorial grammars and natural language structures, Dordrecht, Springer, pp.35-68.

(2006) "Open problems in logical dynamics", in: Gabbay Dov M.; Goncharov Sergei; Zakharyaschev Michael (ed), Mathematical problems from applied logic I: logics for the XXIst century, Dordrecht, Springer, pp.137-192.

(2004) "Probabilistic features in logic games", in: Symons John; Kolak Daniel (ed), Quantifiers, questions and quantum physics: essays on the philosophy of Jaakko Hintikka, Dordrecht, Springer, pp.189-194.

with Arló-Costa Horacio, Hendricks Vincent F. (2016) "Introduction", in: Arló-Costa Horacio; Hendricks Vincent F.; van Benthem Johan (ed), Readings in formal epistemology: sourcebook, Dordrecht, Springer, pp.15-19.

(1987) "Categorial grammar and lambda calculus", in: Skordev Dimiter G (ed), Mathematical logic and its applications, Dordrecht, Springer, pp.39-60.

with Smets Sonja (2012) "New logical perspectives on physics", Synthese 186 (3), pp.615-617.

(2012) "The logic of empirical theories revisited", Synthese 186 (3), pp.775-792.

with Kuipers Theo A., Visser Henk (2011) "Introduction", Synthese 179 (2), pp.203-206.

with Ågotnes Thomas, Pacuit Eric (2009) "Logic and intelligent interaction", Synthese 169 (2), pp.219-221.

(2009) "The information in intuitionistic logic", Synthese 167 (2), pp.251-270.

with Ghosh Sujata, Liu Fenrong (2008) "Modelling simultaneous games in dynamic logic", Synthese 165 (2), pp.247-268.

(2008) "The many faces of interpolation", Synthese 164 (3), pp.451-460.

with Hendricks Vincent F., Symons John (2008) "Editorial", Synthese 160 (1), pp.1-4.

with Hendricks Vincent F., Symons John (2007) "Editorial", Synthese 154 (1), pp.1-3.

with Hendricks Vincent F., Symons John (2006) "Editorial", Synthese 148 (1), pp.1-3.

(1987) "Meaning: interpretation and inference", Synthese 73 (3), pp.451-470.

Language: ALL
Current selection: ALL

Period: ALL
Current selection: ALL