Research output per year
Research output per year
Project Details
Description
Developing models that describe the interaction between knowledge and action.
| Short title | Common Knowledge Foundations Social Sciences |
|---|---|
| Status | Finished |
| Effective start/end date | 1/01/94 → 31/12/04 |
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
A Kripke-style semantics for the intuitionistic logic of pragmatics ILP. [Review of the book A Kripke-style semantics for the intuitionistic logic of pragmatics ILP, Bellin & Ranalter, 2004]
de Swart, H. C. M., 2004, In: Zentralblatt MATH. 1043, 03025Research output: Contribution to journal › Book/Film/Article review › Other research output
-
Cocktail: A tool for deriving correct programs
de Swart, H. C. M. & Franssen, M., 2004, In: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. 98, 1, p. 95-113 18 p.Research output: Contribution to journal › Article › Scientific › peer-review
-
Majority cycles in a multi-dimensional setting. [Review of the book Majority cycles in a multi-dimensional setting, Vidu, 2004]
de Swart, H. C. M., 2004, In: Zentralblatt MATH. 1035, 91021Research output: Contribution to journal › Book/Film/Article review › Other research output
-
Conferentie Thought Experiments
Buekens, F. A. I. (Speaker)
22 Sept 2004Activity: Talk or presentation types › Oral presentation › Scientific
-
Elections in Europe: a web of paradoxes
de Swart, H. (Speaker)
29 Mar 2004Activity: Talk or presentation types › Oral presentation › Scientific
-
Conferentie Cosmopositionality and Cognition
Buekens, F. A. I. (Speaker)
1 Mar 2004Activity: Talk or presentation types › Oral presentation › Scientific