Deduction Systems for Coalgebras Over Measurable Spaces

@article{Goldblatt2010DeductionSF,
  title={Deduction Systems for Coalgebras Over Measurable Spaces},
  author={Robert Goldblatt},
  journal={J. Log. Comput.},
  year={2010},
  volume={20},
  pages={1069-1100}
}
A theory of infinitary deduction systems is developed for the modal logic of coalgebras for measurable polynomial functors on the category of measurable spaces. These functors have been shown by Moss and Viglizzo to have final coalgebras that represent certain universal type spaces in game-theoretic economics. A notable feature of the deductive machinery is an infinitary Countable Additivity Rule. A deductive construction of canonical spaces and coalgebras leads to completeness results. These… CONTINUE READING

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 20 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 21 references

Theoretical Computer Science 4th GI Conference

Lecture Notes in Computer Science • 1979
View 6 Excerpts
Highly Influenced

A Course on Borel Sets

Graduate texts in mathematics • 2008

PhD thesis

Ignacio D. Viglizzo. Coalgebras on Measurable Spaces
Indiana University, • 2005
View 1 Excerpt

and Ignacio D . Viglizzo . Final coalgebras for functors on measurable spaces

Lawrence S. Moss
Electronic Notes in Theoretical Computer Science • 2004

Games and Economic Behavior

Aviad Heifetz, Philippe Mongin. Probability logic for type spaces
35:31–53, • 2001
View 1 Excerpt

Hoover . Probability logic

N Douglas
Games and Economic Behavior • 2001

Moss and Ignacio D . Viglizzo . Harsanyi type spaces and final coalgebras constructed from satisfied theories

S. Lawrence
Theoret - ical Informatics and Applications • 2001

Similar Papers

Loading similar papers…