VIAF

Virtual International Authority File

Search

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

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

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

Benthem, Johan van ISNI

Johan van Benthem Wikidata

Benthem, Johan F. A. K. van, 1949- National and University Library in Zagreb

Benthem, J. van German National Library

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 (45)

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 Sudoc [ABES], France
Categorial grammar NUKAT Center of Warsaw University Library National Library of France Library of Congress/NACO
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. - National Library of Israel Library of Congress/NACO Sudoc [ABES], France National Library of France German National Library
Exploring logical dynamics National Library of the Czech Republic Library of Congress/NACO Sudoc [ABES], France National Library of the Netherlands NUKAT Center of Warsaw University Library National Library of France
Games, norms and reasons logic at the crossroads National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
Generalized quantifiers in natural language Sudoc [ABES], France National Library of the Czech Republic National Library of France Library of Congress/NACO
Handbook of logic and language. - Library of Congress/NACO German National Library National Library of Israel Sudoc [ABES], France National Library of the Netherlands NUKAT Center of Warsaw University Library National Library of France National Library of Latvia
Language in action : categories, lambdas, and dynamic logic NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France National Library of France Library of Congress/NACO
Logic and argumentation NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
Logic for social software Sudoc [ABES], France
Logic, language, and meaning. Vol. 1, Introduction to logic NUKAT Center of Warsaw University Library
The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse National and University Library in Zagreb Library of Congress/NACO German National Library Sudoc [ABES], France National Library of the Netherlands National Library of the Czech Republic NUKAT Center of Warsaw University Library National Library of France
The logic of time, c1982: National Library of Israel Library of Congress/NACO
Logic of transition systems National Library of the Netherlands
Logica in actie National Library of the Netherlands
Logica voor informatici National Library of the Netherlands
Logiques de graphes conceptuels Sudoc [ABES], France
Logische dynamiek, contouren van een theorie National Library of the Netherlands
A manual of intensional logic National Library of the Netherlands Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of France
The many faces of interpolation National Library of the Netherlands
Modal logic: a semantic perspective National Library of the Netherlands
Modal logic and classical logic National Library of the Netherlands Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of France
Modal logic for open minds National Library of the Netherlands National Library of the Czech Republic Library of Congress/NACO
Modal logic in two Gestalts National Library of the Netherlands
Modal logics of space National Library of the Netherlands
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
Modeltheorie voor wetenschapsfilosofen National Library of the Netherlands
Multi-agent belief dynamics : bridges between dynamic doxastic and doxastic temporal logics National Library of the Netherlands
NNIL National Library of the Netherlands
NNIL, a study in intuitionistic propositional logic National Library of the Netherlands
Notes on modal definability National Library of the Netherlands
Philosophy of information NUKAT Center of Warsaw University Library National Library of the Netherlands National Library of the Czech Republic Sudoc [ABES], France
Points and periods National Library of the Netherlands
Polyadic quantifiers National Library of the Netherlands
Polymorphic treatments National Library of the Netherlands
Preference logic, conditionals and solution concepts in games National Library of the Netherlands
Program constructions that are safe for bisimulation National Library of the Netherlands
Quantifiers in the world of types National Library of the Netherlands
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
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
Selected papers on Automath Sudoc [ABES], France
Semantic automata National Library of the Netherlands
Semantic parallels in natural language and computation National Library of the Netherlands
Semantic type change and syntactic recognition National Library of the Netherlands
Semantics and contextual expression. - Library of Congress/NACO German National Library Sudoc [ABES], France National Library of the Netherlands National Library of Israel National Library of France
Situation calculus meets modal logic National Library of the Netherlands
Some correspondence results in modal logic National Library of the Netherlands
Structural properties of dynamic reasoning 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 Sudoc [ABES], France National Library of 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, Italy 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
Universal algebra and model theory: two excursions on the border 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
What logic games are trying to tell us National Library of the Netherlands Library of Congress/NACO
What one may come to know National Library of the Netherlands
When are two games the same? National Library of the Netherlands
Where is logic going, and should it? National Library of the Netherlands
Wider still and wider... : resetting the bounds of logic National Library of the Netherlands

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (9)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

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