Description
| Short title | Common Knowledge Foundations Social Sciences |
|---|---|
| Status | Finished |
| Effective start/end date | 1/01/94 → 31/12/04 |
Related content
Research Output
Review of the book Content versus Wrapping: An Essay in Semantic Complexity, J. van Benthem, 1998
Research output: Contribution to journal › Book/Film/Article review › Other research output
Review of the book The Value of Limited Altruism, C. Blackorby, W. Bossert & W. Donaldson, 2002
Research output: Contribution to journal › Book/Film/Article review › Other research output
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]
Research output: Contribution to journal › Book/Film/Article review › Other research output
Review of the book Philosophy of Mathematics; an introduction to the world of proofs and pictures, J.R. Brown, 2002
Research output: Contribution to journal › Book/Film/Article review › Other research output
Review of the book Logique et Philosophie Mathématiques, F. Gonseth, 1999
Research output: Contribution to journal › Book/Film/Article review › Other research output
Welkom in mijn wereld
Research output: Contribution to journal › Article › Popular
Sporen in het zand
Research output: Contribution to journal › Article › Popular
An Exercise in Relational Algebra: Reduction in Programming Languages
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific
Review of the book Inequality Averse Collective Choice, A. OK,Efe, 1998
Research output: Contribution to journal › Book/Film/Article review › Other research output
LOGIC: Mathematics, Language, Computer Science and Philosophy. Volume I: Logic : Mathematics, Language, Computer Science and Philosophy
Research output: Book/Report › Book › Scientific
Maximal Domain of Preferences in the Division problem. [Review of the book Maximal Domain of Preferences in the Division problem, Masso & Neme]
Research output: Contribution to journal › Book/Film/Article review › Other research output
Different Approaches to Knowledge, Common Knowledge and Aumann's Theorem
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific
Review of the book A Crash Course in Arrow Logic, Y. Venema, 1998
Research output: Contribution to journal › Book/Film/Article review › Other research output
Automated Reasoning with Analytic Tableaux and Related Methods
Research output: Book/Report › Book editing › Scientific
Review of the book Reconstituting Beta Graphs into an Efficacious System, S.J. Shin, 1999
Research output: Contribution to journal › Book/Film/Article review › Other research output
Implication with Possible Exceptions
Research output: Contribution to journal › Article › Scientific › peer-review
Negotiating a Stable Government
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific
Review of the book Linear Logic as a Logic of Computations, M.I. Kanovich, 1996
Research output: Contribution to journal › Book/Film/Article review › Other research output
LOGIC: Mathematics, Language, Computer Science and Philisophy. Volume II: Logic and Computer Science
Research output: Book/Report › Book › Scientific
Logic, Game Theory and Social Choice
Research output: Book/Report › Book editing › Scientific
Implication with Possible Exceptions
Research output: Book/Report › Report › Professional
Verkiezingen, een web van paradoxen
Research output: Book/Report › Book › Professional
A sequent or tablue-style system for Lewis's counterfactual logic. [Review of the book Review of Gent, I. Philip, 1994]
Research output: Contribution to journal › Book/Film/Article review › Other research output
How to prove it: a structured approach. [Review of the book How to prove it: a structured approach, J. Velleman, 1995]
Research output: Contribution to journal › Book/Film/Article review › Other research output
Linearizing intuitionistic implication. [Review of the book Linearizing intuitionistic implication, P. Lincoln, 1994]
Research output: Contribution to journal › Book/Film/Article review › Other research output
Categoric and Ordinal Voting: An Overview
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific
Review of the book On an Arrow-type theorem in ordinal data analysis, G. Herden, 1999
Research output: Contribution to journal › Book/Film/Article review › Other research output
Strategy-proof social choice correspondences. [Review of the book Strategy-proof social choice correspondences, Barbera & Dutta, 2004]
Research output: Contribution to journal › Book/Film/Article review › Other research output
Vollständige Systeme modaler und intuitionistischer Logik. [Review of the book Revieuw of K. Schütte, K. Schütte, 1994]
Research output: Contribution to journal › Book/Film/Article review › Other research output
Modern Logic: a Text in Elementary Symbolic Logic. [Review of the book Modern Logic: a Text in Elementary Symbolic Logic, G. Forbes, 1994]
Research output: Contribution to journal › Book/Film/Article review › Other research output
Quantified Modal Logic, Reference and Essentialism
Research output: Contribution to journal › Article › Scientific › peer-review
Proceedings Relmics '6, Relational Methods in Computer Science
Research output: Book/Report › Book › Scientific
Three types of redundancy in integrity checking
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific
Majority cycles in a multi-dimensional setting. [Review of the book Majority cycles in a multi-dimensional setting, Vidu, 2004]
Research output: Contribution to journal › Book/Film/Article review › Other research output
Elementaire Wiskunde
Research output: Book/Report › Book › Professional
Einführung in die mathematische Logik. [Review of the book Einführung in die mathematische Logik, H.-D. Ebbinghaus, 1994]
Research output: Contribution to journal › Book/Film/Article review › Other research output
Review of the book Inference, Consequence, Implication, G. Sundholm, 2000
Research output: Contribution to journal › Book/Film/Article review › Other research output
Review of the book Choosing from a Weight Tournament, Ph. de Donder, 2000
Research output: Contribution to journal › Book/Film/Article review › Other research output
Review of the book Logic and Visual Information, E.M. Hammer, 2000
Research output: Contribution to journal › Book/Film/Article review › Other research output
Generalizing and Modifying the Hoede Bakker Index
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific
Cocktail: A tool for deriving correct programs
Research output: Contribution to journal › Article › Scientific › peer-review
Review of the book Logic, P. Tomassi, 1999
Research output: Contribution to journal › Book/Film/Article review › Other research output
Hintikka's `The Principle of Mathematics Revisited'
Research output: Contribution to journal › Article › Scientific › peer-review
On the emptyness of the stability set of order. [Review of the book On the emptyness of the stability set of order, Martin, 2004]
Research output: Contribution to journal › Book/Film/Article review › Other research output
Review of the book Hans Reichenbach, gesammelte werke, H. Reichenbach, 2000
Research output: Contribution to journal › Book/Film/Article review › Other research output
Review of the book Language, Truth and Logic in Mathematics, F. Hitikka, 1998
Research output: Contribution to journal › Book/Film/Article review › Other research output
Review of the book LOGICA: grondbeginselen en toepassingen, A. Sarlemijn & L.M.M. Royakkers, 1998
Research output: Contribution to journal › Book/Film/Article review › Other research output
Review of the book Strategy-proof social choice correspondences, S. Barberà & B. Dutta, 2001
Research output: Contribution to journal › Book/Film/Article review › Other research output
Review of the book Maximal domain of preferences in the division problem, J. Massó & A. Neme, 2001
Research output: Contribution to journal › Book/Film/Article review › Other research output
Perspectives on Negation
Research output: Book/Report › Book editing › Scientific
Three Types of Redundancy in Integrity Checking: An optimal Solution
Research output: Contribution to journal › Article › Scientific › peer-review
Implications-with-possible-exceptions; Extended Abstract
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific
Coherent Coalitional Agreements
Research output: Book/Report › Report › Professional
Theory and Applications of Relational Structures as Knowledge Instruments
Research output: Book/Report › Book editing › Scientific › peer-review
Review of the book Axiomatic Rejection for Classical Propositional Logic, A. Ishimoto, 1999
Research output: Contribution to journal › Book/Film/Article review › Other research output
Implications with Possible Exceptions
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific
Equational Proofs in Tableaux and Logic Programming. [Review of the book Equational Proofs in Tableaux and Logic Programming, E.A. De Kogel, 1995]
Research output: Contribution to journal › Book/Film/Article review › Other research output
Review of the book About some Symmetries of Negation, B. Hoesli & G. Jaeger, 1996
Research output: Contribution to journal › Book/Film/Article review › Other research output
Activities
Tarski centenary Conference
Activity: Talk or presentation types › Oral presentation › Scientific
Conferentie Cosmopositionality and Cognition
Activity: Talk or presentation types › Oral presentation › Scientific
Hamburg-Siena workshop on Power indices
Activity: Talk or presentation types › Oral presentation › Scientific
Workshop on Collective Choice, Competition and Institutional Economics.
Activity: Talk or presentation types › Oral presentation › Scientific
Conferentie Thought Experiments
Activity: Talk or presentation types › Oral presentation › Scientific
Workshop on European Decision Making.
Activity: Talk or presentation types › Oral presentation › Scientific
XV Italian Meeting on Game Theory and Applications
Activity: Talk or presentation types › Oral presentation › Scientific
Nederlands Mathematisch Congres
Activity: Talk or presentation types › Oral presentation › Scientific
9th Osnabrück Seminar on Individual Decisions and Social Choice.
Activity: Talk or presentation types › Oral presentation › Scientific
XV Italian Meeting on Game Theory and Application
Activity: Talk or presentation types › Oral presentation › Scientific
TARSKI: Theory ans Application of Realtional Systems as Knowledge Instruments.
Activity: Talk or presentation types › Oral presentation › Scientific
Workshop Coalitions, Power and Evolutionary Games
Activity: Talk or presentation types › Oral presentation › Scientific
Nederlands Mathematisch Congres
Activity: Talk or presentation types › Oral presentation › Scientific
Conferentie Anomalous Monism and Experiences
Activity: Talk or presentation types › Oral presentation › Scientific
TARSKI: Theory ans Application of Realtional Systems as Knowledge Instruments.
Activity: Talk or presentation types › Oral presentation › Scientific
XV Italian Meeting on Game Theory and Application
Activity: Talk or presentation types › Oral presentation › Scientific
Categoric and ordinal voting
Activity: Talk or presentation types › Oral presentation › Scientific
XV Italian Meeting on Game Theory and Applications
Activity: Talk or presentation types › Oral presentation › Scientific
Workshop Modelling the European Decision Making.
Activity: Talk or presentation types › Oral presentation › Scientific
Workshop Modelling the European Decision Making.
Activity: Talk or presentation types › Oral presentation › Scientific
Hamburg-Siena workshop on Power indices
Activity: Talk or presentation types › Oral presentation › Scientific
Workshop on European Decision Making.
Activity: Talk or presentation types › Oral presentation › Scientific
Nederlands Mathematisch Congres
Activity: Talk or presentation types › Oral presentation › Scientific
Conference Anomalous Monism and Experiences
Activity: Talk or presentation types › Oral presentation › Scientific
9th Osnabrück Seminar on Individual Decisions and Social Choice.
Activity: Talk or presentation types › Oral presentation › Scientific
Elections in Europe: a web of paradoxes
Activity: Talk or presentation types › Oral presentation › Scientific
Axiomatizations of the Plurality Ranking Rule
Activity: Talk or presentation types › Invited talk › Scientific