VIAF

Virtual International Authority File

Search

Benthem, Johan van 1949- Library of Congress/NACO National Library of Catalonia National Library of Latvia National Library of Israel National Library of France German National Library National Library of Poland Sudoc [ABES], France

Benthem, Johan van (Johannes Franciscus Abraham Karel), 1949- National Library of the Netherlands

Benthem, J. F. A. K. van, 1949- National Library of the Czech Republic National Library of Australia NUKAT Center of Warsaw University Library

Benthem, Johan van ISNI National and University Library in Zagreb

Johan van Benthem Dutch philosopher Wikidata

VIAF ID: 94809147 (Personal)

Permalink: http://viaf.org/viaf/94809147

ISNI: 0000  0001  0859  4198 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (50)

Open Section Close Section 5xx's: Related Names (18)

Open Section Close SectionWorks

Title Sources
Aan de rede van Barbarije National Library of the Netherlands
The age of alternative logics : assessing philosophy of logic and mathematics today NUKAT Center of Warsaw University Library National Library of the Netherlands National Library of Catalonia Sudoc [ABES], France
Arte y lógica de la conversación National Library of Catalonia
Categorial grammar Library of Congress/NACO National Library of France NUKAT Center of Warsaw University Library National Library of Catalonia
Categories, polymorphism and unification NUKAT Center of Warsaw University Library
Dynamic logic of preference upgrade National Library of the Netherlands
Dynamic odds & ends National Library of the Netherlands
Essays in logical semantics Library of Congress/NACO National Library of Israel National Library of France German National Library National Library of Catalonia Sudoc [ABES], France
Exploring logical synamics National Library of Catalonia
Games, norms and reasons : logic at the crossroads Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France
Generalized quantifiers in natural language Library of Congress/NACO National Library of France National Library of the Czech Republic National Library of Catalonia Sudoc [ABES], France
Handbook of logic and language Library of Congress/NACO National Library of Latvia NUKAT Center of Warsaw University Library National Library of Israel National Library of France German National Library National Library of Catalonia National Library of the Netherlands Sudoc [ABES], France
Language in action categories, lambdas and dynamic logic Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of France National Library of Catalonia National Library of the Netherlands Sudoc [ABES], France
Lessons from Bolzano National Library of Catalonia
Logic and argumentation Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of the Netherlands National Library of Catalonia Sudoc [ABES], France
Logic and reasoning / Johan van Benthem. W: Studia Logica : an international journal for symbolic logic. Vol. 88, nr 1 (2008). National Library of Poland
Logic as programming National Library of Catalonia
Logic for social software Sudoc [ABES], France
Logic in games Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of the Netherlands National and University Library in Zagreb Sudoc [ABES], France
Logic, language, and meaning. Vol. 1, Introduction to logic / L.T.F. Gamut. - Chicago, London, 1991. NUKAT Center of Warsaw University Library
logic of time a model-theoretic investigation into the varieties of temporal ontology and temporal discourse Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of the Czech Republic National Library of Israel National Library of France German National Library National Library of Catalonia National and University Library in Zagreb Sudoc [ABES], France
Logic of transition systems National Library of the Netherlands
Logic, rational agency, and intelligent interaction National Library of the Netherlands
Logica in actie National Library of the Netherlands
Logica voor informatici National Library of the Netherlands
Logical dynamics of information and interaction Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of the Czech Republic National Library of France National Library of Catalonia National Library of the Netherlands Sudoc [ABES], France
Logiques de graphes conceptuels Sudoc [ABES], France
Logische dynamiek, contouren van een theorie National Library of the Netherlands
Logische lijnen in de zeventiger jaren National Library of the Netherlands
manual of intensional logic Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of France National Library of Catalonia National Library of the Netherlands Sudoc [ABES], France
The many faces of interpolation National Library of the Netherlands
Merging frameworks for interaction National Library of the Netherlands
Merging observation and access in dynamic logic National Library of the Netherlands
Modal deduction in second-order logic and set theory National Library of the Netherlands
Modal foundations for predicate logic National Library of the Netherlands National Library of Catalonia
Modal frame classes revisited National Library of the Netherlands
Modal frame corresponcence generalized National Library of the Netherlands
Modal logic and classical logic Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of France National Library of Catalonia National Library of the Netherlands Sudoc [ABES], France
Modal logic for open minds Library of Congress/NACO National Library of the Czech Republic National Library of Poland National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France
Modal quantification over structured domains National Library of the Netherlands
Modality, bisimulation and interpolation in infinitary logic National Library of the Netherlands
Modelling simultaneous games with concurrent dynamic logic National Library of the Netherlands
Models of strategic reasoning logics, games, and communities German National Library National Library of Catalonia Sudoc [ABES], France
Modeltheorie voor wetenschapsfilosofen National Library of the Netherlands
A new modal Lindström theorem National Library of the Netherlands
NNIL : a study in intuitionistic propositional logic National Library of the Netherlands
A note on modeling theories National Library of the Netherlands
Notes on modal definability National Library of the Netherlands
Philosophy of information National Library of the Czech Republic National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France
Polyadic quantifiers National Library of the Netherlands
Polymorphic treatments National Library of the Netherlands
Program constructions that are safe for bisimulation National Library of the Netherlands National Library of Catalonia
The range of modal logic: an essay in memory of George Gargov National Library of the Netherlands
Rationalizations and promises in games National Library of the Netherlands
Readings in formal epistemology : sourcebook NUKAT Center of Warsaw University Library Sudoc [ABES], France
Reasoning about space : the modal way National Library of the Netherlands
Saying it with pictures : a logical landscape of conceptual graphs Sudoc [ABES], France
Schetsen uit de filosofische logica National Library of the Netherlands
Semantic automata National Library of the Netherlands
Semantic type change and syntactic recognition National Library of the Netherlands
Semantics and contextual expression Library of Congress/NACO National Library of Israel National Library of France German National Library National Library of the Netherlands Sudoc [ABES], France
Situation calculus meets modal logic National Library of the Netherlands
Structures and norms in science volume two of the Tenth International congress of logic, methodology and philosophy of science, Florence, August 1995 National Library of France Sudoc [ABES], France
Taal en informatie : op zoek naar nieuwe toepassingen National Library of the Netherlands
Talentenkracht National Library of the Netherlands
Tarskian variations: dynamic parameters in classical semantics National Library of the Netherlands
Temporal patterns and modal structure National Library of the Netherlands
Theoretical aspects of rationality and knowledge proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, Certosa di Pontignano, University of Siena, Italy National Library of France Sudoc [ABES], France
Towards a computational semantics National Library of the Netherlands
The tree of knowledge in action: towards a common perspective National Library of the Netherlands
Vakantiecursus 1977 : mathematische logica : (algoritmen en hun beperkingen) National Library of the Netherlands
Vragen om typen National Library of the Netherlands
De wetenschap van het redeneren National Library of the Netherlands
What one may come to know National Library of the Netherlands
Where is logic going, and should it? National Library of the Netherlands

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (10)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section History of VIAF ID:94809147 (21)