VIAF

Virtual International Authority File

Search

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

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

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

Johan van Benthem Wikidata

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 National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France
Categorial grammar NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of France
Categories, polymorphism and unification NUKAT Center of Warsaw University Library
Dynamic logic of preference upgrade National Library of the Netherlands
Dynamic odds and ends National Library of the Netherlands
Essays in logical semantics National Library of Israel German National Library Sudoc [ABES], France Library of Congress/NACO National Library of France
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 National Library of the Czech Republic Sudoc [ABES], France Library of Congress/NACO National Library of France
Handbook of logic and language Library of Congress/NACO German National Library National Library of Israel Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of the Netherlands National Library of France National Library of Latvia
Language in action : categories, lambdas and dynamic logic National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO National Library of France
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 NUKAT Center of Warsaw University Library National Library of the Czech Republic National Library of the Netherlands 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 NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France National Library of France
The many faces of interpolation National Library of the Netherlands
Merging frameworks for interaction : DEL and ETL National Library of the Netherlands
Modal languages and bounded fragments of predicate logic National Library of the Netherlands
Modal logic and classical logic NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of the Netherlands 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 logics for products of topologies 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
A note on dynamic arrow logic National Library of the Netherlands
Notes on modal definability National Library of the Netherlands
Philosophy of information National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of the Czech Republic
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 National Library of the Czech Republic
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 Israel National Library of the Netherlands 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
'Tell it like it is': information flow in logic 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 Sudoc [ABES], France National Library of 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)