VIAF

Virtual International Authority File

Search

Benthem, Johan van, 1949-.... Library of Congress/NACO Sudoc [ABES], France 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- NUKAT Center of Warsaw University Library National Library of Israel National Library of Australia 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

Benthem, Johan van (logician) Wikipedia (en)

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

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 NUKAT Center of Warsaw University Library National Library of the Netherlands-test 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-test
Dynamic odds & ends National Library of the Netherlands-test
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-test NUKAT Center of Warsaw University Library National Library of France
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 Sudoc [ABES], France National Library of the Netherlands-test NUKAT Center of Warsaw University Library Wikipedia (en) National Library of France National Library of Latvia
Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London xR Extended Titles-test Sudoc [ABES], France
Language in action categories, lambdas, and dynamic logic NUKAT Center of Warsaw University Library National Library of Israel National Library of the Netherlands-test Library of Congress/NACO German National Library xR Extended Titles-test Wikipedia (en) Sudoc [ABES], France National Library of France
Logic at the crossroads : an interdisciplinary view Library of Congress/NACO
Logic for social software Sudoc [ABES], France
Logic in games National Library of the Netherlands-test Wikipedia (en) Library of Congress/NACO
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 Library of the Czech Republic Library of Congress/NACO German National Library Sudoc [ABES], France National Library of the Netherlands-test National and University Library in Zagreb 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-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 National Library of the Netherlands-test 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-test
Modal languages and bounded fragments of predicate logic National Library of the Netherlands-test
Modal logic: a semantic perspective National Library of the Netherlands-test Wikipedia (en)
Modal logic and classical logic National Library of the Netherlands-test 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-test National Library of the Czech Republic Library of Congress/NACO
Modal logics of space National Library of the Netherlands-test
Modal quantification over structured domains National Library of the Netherlands-test
Modality, bisimulation and interpolation in infinitary logic 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
Notes on modal definability National Library of the Netherlands-test
Philosophy of information NUKAT Center of Warsaw University Library National Library of the Netherlands-test 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
Program constructions that are safe for bisimulation National Library of the Netherlands-test
Proof, computation and agency logic at the crossroads NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of the Netherlands-test Sudoc [ABES], France
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
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 the Netherlands-test National Library of Israel 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
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, Italy Sudoc [ABES], 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 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 About

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