VIAF

Virtual International Authority File

Search

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

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

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-test

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-test: 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-test
The age of alternative logics assessing philosophy of logic and mathematics today National Library of the Netherlands-test 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-test
Dynamic odds and ends National Library of the Netherlands-test
Essays in logical semantics / Johan van Benthem, 1986 National Library of Israel Sudoc [ABES], France Library of Congress/NACO 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-test NUKAT Center of Warsaw University Library National Library of France
Generalized quantifiers in natural language National Library of the Czech Republic Library of Congress/NACO National Library of France Sudoc [ABES], France
Handbook of Logic and Language National Library of the Netherlands-test Library of Congress/NACO German National Library National Library of Israel Sudoc [ABES], France NUKAT Center of Warsaw University Library xR Extended Titles-test National Library of France National Library of Latvia
Language in action : categories, lambdas and dynamic logic National Library of the Netherlands-test NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO National Library of France
Logic and argumentation [proceedings of the colloquium, Amsterdam, 14-17 june 1994] NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
Logic at the crossroads : an interdisciplinary view 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-test 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-test
Logica in actie National Library of the Netherlands-test
Logica voor informatici National Library of the Netherlands-test
Logiques de graphes conceptuels Sudoc [ABES], France
Logische dynamiek, contouren van een theorie National Library of the Netherlands-test
A manual of intensional logic NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of the Netherlands-test Sudoc [ABES], France National Library of France
The many faces of interpolation National Library of the Netherlands-test
Merging frameworks for interaction : DEL and ETL National Library of the Netherlands-test
Modal languages and bounded fragments of predicate logic National Library of the Netherlands-test
Modal logic and classical logic NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of the Netherlands-test Sudoc [ABES], France National Library of France
Modal logic for open minds National Library of the Netherlands-test National Library of the Czech Republic Library of Congress/NACO
Modal logics for products of topologies National Library of the Netherlands-test
Modelling simultaneous games with concurrent dynamic logic National Library of the Netherlands-test
Modeltheorie voor wetenschapsfilosofen National Library of the Netherlands-test
Multi-agent belief dynamics : bridges between dynamic doxastic and doxastic temporal logics National Library of the Netherlands-test
NNIL National Library of the Netherlands-test
NNIL : a study in intuitionistic propositional logic National Library of the Netherlands-test
A note on dynamic arrow logic National Library of the Netherlands-test
Notes on modal definability National Library of the Netherlands-test
Philosophy of information National Library of the Netherlands-test NUKAT Center of Warsaw University Library National Library of the Czech Republic Sudoc [ABES], France
Points and periods National Library of the Netherlands-test
Polyadic quantifiers National Library of the Netherlands-test
Polymorphic treatments National Library of the Netherlands-test
Preference logic, conditionals and solution concepts in games National Library of the Netherlands-test
Program constructions that are safe for bisimulation National Library of the Netherlands-test
Proof, computation and agency logic at the crossroads National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Quantifiers in the world of types National Library of the Netherlands-test
The range of modal logic: an essay in memory of George Gargov National Library of the Netherlands-test
Rationalizations and promises in games National Library of the Netherlands-test
Reasoning about space : the modal way National Library of the Netherlands-test
Saying it with pictures : a logical landscape of conceptual graphs Sudoc [ABES], France
Schetsen uit de filosofische logica National Library of the Netherlands-test
Selected papers on Automath Sudoc [ABES], France National Library of the Czech Republic
Semantic automata National Library of the Netherlands-test
Semantic parallels in natural language and computation National Library of the Netherlands-test
Semantic type change and syntactic recognition National Library of the Netherlands-test
Semantics and contextual expression Library of Congress/NACO German National Library Sudoc [ABES], France National Library of Israel National Library of the Netherlands-test National Library of France
Situation calculus meets modal logic National Library of the Netherlands-test
Some correspondence results in modal logic National Library of the Netherlands-test
The stories of logic and information National Library of the Netherlands-test
Structural properties of dynamic reasoning National Library of the Netherlands-test
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-test
Talentenkracht National Library of the Netherlands-test
Tarskian variations: dynamic parameters in classical semantics National Library of the Netherlands-test
'Tell it like it is': information flow in logic National Library of the Netherlands-test
Temporal patterns and modal structure National Library of the Netherlands-test
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-test
The tree of knowledge in action: towards a common perspective National Library of the Netherlands-test
Universal algebra and model theory: two excursions on the border National Library of the Netherlands-test
Vakantiecursus 1977 : mathematische logica : (algoritmen en hun beperkingen) National Library of the Netherlands-test
Vragen om typen National Library of the Netherlands-test
What logic games are trying to tell us National Library of the Netherlands-test Library of Congress/NACO
What one may come to know National Library of the Netherlands-test
When are two games the same? National Library of the Netherlands-test
Where is logic going, and should it? National Library of the Netherlands-test
Wider still and wider... : resetting the bounds of logic National Library of the Netherlands-test

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)