Harsanyi type spaces and final coalgebras constructed from satisfied theories

Electronic Notes in Theoretical Computer Science

Volumn 107, Issue 1-4 SPEC. ISS., 2004, Pages 279-295

  Moss, Lawrence S ^a   Viglizzo, Ignacio D ^a  

^a INDIANA UNIVERSITY   (United States)

Author keywords

Beliefs; Coalgebra; Final coalgebra; Harsanyi type space; Measurable space; Probabilities

Indexed keywords

GAME THEORY; MODAL ANALYSIS; POLYNOMIALS; PROBABILITY; THEOREM PROVING; MATHEMATICAL MODELS; PROGRAMMING THEORY;

COALGEBRA; FINAL COALGEBRA; HARSANYI TYPE SPACE; MEASURABLE SPACE; MODAL LOGIC;

FORMAL LOGIC; LINEAR ALGEBRA;

EID: 17444410856     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.02.036     Document Type: Conference Paper

References (14)

1. Patrick Billingsley, Probability and Measure, Second Edition. Wiley Series in Probability and Mathematical Statistics, New York, 1986.
2. W. Böge and T. Eisele, "On solutions of Bayesian games", International Journal of Game Theory, 8, 1979, 193-215.
3. Michèle Giry, "A categorical approach to probability theory," in Categorical Aspects of Topology and Analysis, Springer Lecture Notes in Mathematics 915, Berlin-New York, 1982, 68-85.
4. John C. Harsanyi, "Games with incomplete information played by 'Bayesian' players", in Papers in Game Theory Theory and Decision Library, Volume 28 D. Reidel Publishing Company.
5. Aviad Heifetz and Dov Samet, "Topology-free typology of beliefs". Journal of Economic Theory 82 (1998), no. 2, 324-341.
6. Aviad Heifetz and Dov Samet, "Coherent beliefs are not always types". Journal of Mathematical Economics 32 (1999), 475-488.
7. Bart Jacobs, "Many-sorted coalgebraic modal logic: a model-theoretic study." Theor. Inform. Appl. 35 (2001), no. 1, 31-59.
8. Clemens Kupke, Alexander Kurz, and Yde Venema, "Stone coalgebras", in H. P. Gumm (ed.), Proceedings of CMCS 2002.
9. Alexander Kurz, "Specifying coalgebras with modal logic", in H. P. Gumm (ed.), Proceedings of CMCS 1998.
10. Jean-François Mertens and Shmuel Zamir, "Formulation of Bayesian analysis for games with incomplete information". International Journal of Game Theory 14 (1985), no. 1, 1-29.
11. Martin Rößiger, "Languages for coalgebras on datafunctors." Proceedings of CMCS'99 (Amsterdam, 1999), ENTCS 19, Elsevier, Amsterdam, 1999.
12. Martin Rößiger, "Coalgebras and modal logic." Proceedings of CMCS'2000 (Berlin, 2000), ENTCS 33, Elsevier, Amsterdam, 2000.
13. Martin Rößiger, "From modal logic to terminal coalgebras." Theoretical Computer Science 260 (2001), no. 1-2, 209-228.
14. Jan Rutten, "A calculus of transition systems." in A. Ponse et al (eds.), Modal Logic and Process Algebra, a Bisimulation Perspective, CSLI Lecture Notes 53, 1995.