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 BIBSYS National and University Library in Zagreb

Benthem, Johannes Franciscus Abraham Karel van ISNI

Johan van Benthem Dutch philosopher Wikidata

VIAF ID: 94809147 (Personal)

Permalink: https://viaf.org/viaf/94809147

Open Section Close Section Preferred Forms

 

 

 

 

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

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

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 BIBSYS 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 BIBSYS National Library of Catalonia NUKAT Center of Warsaw University Library
Categories, polymorphism and unification NUKAT Center of Warsaw University Library BIBSYS
Dynamic logic of preference upgrade National Library of the Netherlands
Dynamic logics of evidence-based Beliefs National Library of Poland
Dynamic odds & ends National Library of the Netherlands
Dynamic update with probabilities National Library of Poland
Essays in logical semantics Library of Congress/NACO National Library of Israel National Library of France BIBSYS 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 National Library of Poland 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 BIBSYS 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 BIBSYS 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 BIBSYS National Library of Catalonia NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France
Logic and reasoning : do the facts matter? 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 BIBSYS 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 BIBSYS 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 BIBSYS 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
manual of intensional logic Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of France BIBSYS National Library of Catalonia National Library of the Netherlands Sudoc [ABES], France
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: a semantic perspective National Library of the Netherlands
Modal logic and classical logic Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of France BIBSYS 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 National Library of the Netherlands
NNIL : a study in intuitionistic propositional logic National Library of the Netherlands
Open problems in logical dynamics National Library of the Netherlands
Philosophy of information National Library of the Czech Republic BIBSYS NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France
Program constructions that are safe for bisimulation National Library of the Netherlands National Library of Catalonia
Rationalizations and promises in games National Library of the Netherlands
Readings in formal epistemology sourcebook National Library of France NUKAT Center of Warsaw University Library Sudoc [ABES], France
Reasoning about space : the modal way National Library of the Netherlands
Sahlqvist correspondence for modal mu-calculus National Library of Poland
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 National Library of the Czech Republic 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 National Library of Israel National Library of France BIBSYS German National Library National Library of the Netherlands Sudoc [ABES], France
Some correspondence results in 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
A study on the expressive power of some fragments of the modal µ-calculus Sudoc [ABES], France
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
Universal algebra and model theory: two excursions on the border National Library of the Netherlands
Vragen om typen National Library of the Netherlands
De wetenschap van het redeneren 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 (12)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

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