Publications

Export 3 results:
Author Title Type [ Year(Desc)]
Filters: Author is Primiero, Giuseppe and First Letter Of Title is B  [Clear All Filters]
2006
Primiero, Giuseppe. 2006. “Belief Revision In Constructive Type Theory”. In Logica 2005 Yearbook, Logica 2005 Yearbook, M Bilkova and Tomala, O. Filosofia Publisher.
2007
Primiero, Giuseppe. 2007. “Belief Merging Based On Adaptive Interaction”. In A Meeting of the Minds, proceedings of the workshop on Logic, Rationality and Interaction, A Meeting of the Minds, proceedings of the workshop on Logic, Rationality and Interaction, Johan van Benthem, Shier, Ju, and Veltman, Frank. College Publications.
Primiero, Giuseppe. 2007. “On Building Abstract Terms In Typed Systems”. In Logica 2006 Yearbook, Logica 2006 Yearbook, O Tomala and Honzik, R. Filosofia Publisher.