-
Hyttinen, T., Paolini, G., Väänänen, J. (2017) A logic for arguing about probabilities in measure teams.Archive for Mathematical Logic, Vol. 56 (pp 475-489)Article | https://doi.org/10.1007/s00153-017-0535-x | UvA-DARE
-
Idrissou, Al, van Wissen, L., Carretta Zamborlini, Veruska (2022) The Lenticular Lens: Addressing Various Aspects of Entity Disambiguation in the Semantic Web.
-
Iemhoff, R., Passmann, R. (2021) Logics of intuitionistic Kripke-Platek set theory.Annals of Pure and Applied Logic, Vol. 172Article | https://doi.org/10.1016/j.apal.2021.103014 | UvA-DARE
-
Iemhoff, R. (1998) A modal analysis of some principles fo the provability logic of heyting arthmetic.In Advances in modal logicChapter | UvA-DAREIemhoff, R. (2000) A(nother) characterization of Intuitionistic Propositional Logic.Technical Reports. Institute for Logic, Language and Computation.Working paper | UvA-DAREIemhoff, R. (2001) A(nother) characterization of intuitionistic propositional logic..Annals of Pure and Applied Logic, Vol. 113 (pp 161-173)Article | UvA-DAREIemhoff, R. (2001) On the admissible rules of intuitionistic propositional logic..Journal of Symbolic Logic, Vol. 66 (pp 281-294)Article | https://doi.org/10.2307/2694922 | UvA-DAREIemhoff, R. (2001) A modal analysis of some principles of the provability logic of Heyting arithmetic.In de Rijke, M. Segerberg, K. Wansing, H. Zakharyaschev, M. (Eds.), Advances in Modal Logic ('98) (pp 319-354). CSLI Publications.Conference contribution | UvA-DAREIemhoff, R. (2001) Provability Logic and Admissible Rules.Thesis, fully internal | UvA-DAREIJzereef, L.H.L., Kamps, J., de Rijke, M. (2005) Biomedical Retrieval: How Can a Thesaurus Help?.Lecture Notes in Computer Science, Vol. 3761 (pp 1432-1448)Article | UvA-DAREIJzereef, L.H.L., Meij, E.J., Azzopardi, L.A., Kamps, J., de Rijke, M. (2005) The AID Group at TREC 2005.In The Fourteenth Text REtrieval Conference (TREC 2005) Notebook. National Institute of Standards and Technology.Conference contribution | UvA-DAREIkegami, D., de Kloet, D., Löwe, B. (2012) The Axiom of Real Blackwell Determinacy.Archive for Mathematical Logic, Vol. 51 (pp 671-685)Article | https://doi.org/10.1007/s00153-012-0291-x | UvA-DAREIkegami, D., Väänänen, J. (2015) Boolean-valued second-order logic.Notre Dame Journal of Formal Logic, Vol. 56 (pp 167-190)Article | https://doi.org/10.1215/00294527-2835065 | UvA-DAREIkegami, D. (2006) Projective absoluteness under Sacks forcing.ILLC Prepublication Series. Institute for Logic, Language and Computation.Working paper | UvA-DAREIkegami, D. (2007) Projective absoluteness under Sacks forcing.The Bulletin of Symbolic Logic, Vol. 13 (pp 274-274)Article | UvA-DAREIkegami, D. (2009) Projective absoluteness for Sacks forcing.Archive for Mathematical Logic, Vol. 48 (pp 679-690)Article | https://doi.org/10.1007/s00153-009-0143-5 | UvA-DAREIkegami, D. (2010) Games in set theory and logic.Institute for Logic, Language and Computation.Thesis, fully internal | UvA-DAREIkegami, D. (2010) Forcing absoluteness and regularity properties.Annals of Pure and Applied Logic, Vol. 161 (pp 879-894)Article | https://doi.org/10.1016/j.apal.2009.10.005 | UvA-DAREIlari, P., Russo, F. (2014) Evidence and Causality in the Sciences.Topoi, Vol. 33 (pp 293-435)Special issue (Editorship) | https://link.springer.com/journal/11245/33/2/page/1 | UvA-DAREIlari, P., Russo, F. (2016) Information and causality.In Floridi, L. (Eds.), The Routledge Handbook of Philosophy of Information (pp 235-248) (Routledge Handbooks in Philosophy). Routledge.Chapter | https://doi.org/10.4324/9781315757544 | UvA-DARE
The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact illc at uva.nl
