Benthem, Johan van 1949-
Benthem, Johan van (Johannes Franciscus Abraham Karel), 1949-
Benthem, J. F. A. K. van, 1949-
Benthem, Johan van
Benthem, Johannes Franciscus Abraham Karel van
Benthem, J. F. A. K. van
Benthem, Johan F.A.K van
Johan van Benthem Dutch philosopher
VIAF ID: 94809147 ( Personal )
Permalink: http://viaf.org/viaf/94809147
Preferred Forms
- 200 _ | ‡a Benthem ‡b Johan van ‡f 1949-....
- 100 1 _ ‡a Benthem, J. F. A. K. van
-
-
-
-
-
-
-
-
- 100 1 _ ‡a Benthem, Johan van ‡d 1949-
-
- 100 1 _ ‡a Benthem, Johan van, ‡d 1949-
-
-
-
- 100 1 _ ‡a Benthem, Johan van, ‡d 1949-....
- 100 1 _ ‡a Benthem, Johan van ‡d 1949-
- 100 1 _ ‡a Benthem, Johannes Franciscus Abraham Karel van
- 100 0 _ ‡a Johan van Benthem ‡c Dutch philosopher
4xx's: Alternate Name Forms (74)
5xx's: Related Names (19)
- 500 1 _ ‡a Aiello, Marco ‡d 1972-
- 500 1 _ ‡a Blackburn, Patrick ‡d 1959-
- 500 1 _ ‡a Dalla Chiara Scabia, Maria Luisa ‡d 1938-...
- 500 1 _ ‡a Ditmarsch, Hans van ‡d 1959-
- 500 1 _ ‡a Eijck, D.J.N. van ‡d 1951-
- 500 1 _ ‡a Gamut, L. T. F.
- 500 | _ ‡a Gamut, L. T. F.
- 500 1 _ ‡a Gamut, L. T. F. ‡4 pseu ‡4 https://d-nb.info/standards/elementset/gnd#pseudonym ‡e Pseudonym
- 500 1 _ ‡a Gamut, L.T.F.
- 500 _ _ ‡5 z ‡a Gamut ‡b L. T. F.
- 500 1 _ ‡a Gupta, Amitabha
- 500 1 _ ‡a Marciszewski, Witold
- 500 1 _ ‡a Meulen, Alice G.B. ter
- 500 1 _ ‡a Pratt-Hartmann, Ian
- 551 _ _ ‡a Rijswijk ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 510 2 _ ‡a Stanford University ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Universiteit van Amsterdam ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 500 1 _ ‡a Verbrugge, Rineke
- 500 1 _ ‡a Wolter, Frank
Works
Title | Sources |
---|---|
The age of alternative logics : assessing philosophy of logic and mathematics today | |
Arte y lógica de la conversación | |
Categorial grammar | |
Categories, polymorphism and unification | |
Changing preferences | |
Dynamic update with probabilities | |
Essays in logical semantics | |
The fine-structure of categorial semantics | |
Games, norms and reasons : logic at the crossroads | |
Generalized quantifiers in natural language | |
Handbook of logic and language | |
Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London | |
Knowing what follows, 2012: | |
Language in action categories, lambdas and dynamic logic | |
Lessons from Bolzano | |
Logic and argumentation | |
Logic and reasoning : do the facts matter? | |
Logic and scientific philosophy : an E.W. Beth centenary celebration | |
Logic as programming | |
Logic for social software | |
Logic in games | |
Logic, language, and meaning. Vol. 1, Introduction to logic / L.T.F. Gamut. - Chicago, London, 1991. | |
logic of time a model-theoretic investigation into the varieties of temporal ontology and temporal discourse | |
The logic of time, c1982: | |
Logic of transition systems | |
Logica in actie | |
Logica voor informatici | |
Logical dynamics of information and interaction | |
Logical pluralism m,eets logical dynamics? | |
Logical syntax | |
Logiques de graphes conceptuels | |
Logische lijnen in de zeventiger jaren | |
manual of intensional logic | |
Merging frameworks for interaction | |
Merging observation and access in dynamic logic | |
Modal deduction in second-order logic and set theory | |
Modal foundations for predicate logic | |
Modal frame classes revisited | |
Modal frame corresponcence generalized | |
Modal logic and classical logic | |
Modal logic for open minds | |
Models of strategic reasoning logics, games, and communities | |
Modeltheorie voor wetenschapsfilosofen | |
Multi-agent belief dynamics : bridges between dynamic doxastic and doxastic temporal logics | |
NNIL, a study in intuitionistic propositional logic | |
Philosophy of information | |
Program constructions that are safe for bisimulation | |
Quantifiers in the world of types | |
Readings in formal epistemology : sourcebook | |
Sahlqvist correspondence for modal mu-calculus | |
Saying it with pictures : a logical landscape of conceptual graphs | |
Semantic automata | |
Semantic parallels in natural language and computation | |
Semantic type change and syntactic recognition | |
Semantics and contextual expression | |
Some correspondence results in modal logic | |
Structures and norms in science | |
A study on the expressive power of some fragments of the modal µ-calculus | |
Tarskian variations: dynamic parameters in classical semantics | |
Temporal patterns and modal structure | |
Theoretical aspects of rationality and knowledge proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, Certosa di Pontignano, University of Siena, Italy | |
Towards a computational semantics | |
Two essays on semantic modelling | |
The Unity of Science in the Arabic Tradition : Science, Logic, Epistemology and their Interactions | |
Universal algebra and model theory: two excursions on the border |