Publications

Export 823 results:
Author [ Title(Desc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
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. 2006. Belief Revision In Constructive Type Theory. In Logica 2005 Yearbook, Logica 2005 Yearbook, M Bilkova and Tomala, O. Filosofia Publisher.
Van Bouwel, Jeroen, and Michiel Van Oudheusden. 2017. Beyond Consensus? A Reply To Alan Irwin. SOCIAL EPISTEMOLOGY REVIEW AND REPLY COLLECTIVE 6: 48–53.
Batens, Diderik. 1977. Bijna Alle–Veel–Weinig. Contactgroepen Humane en Politieke Wetenschappen: 6–14.
Christiaens, Wim. 2005. Biografie Van Leo Apostel. Nationaal Biografisch Woordenboek: 23-34.
Kurtonina, Natasha, and Maarten De Rijke. 1997. Bisimulations For Temporal Logic. Journal of Logic, Language and Information 6: 403–425.
Provijn, Dagmar. 2014. Bloody Analogical Reasoning Erik Weber, Wouters, Dietlinde, and Meheus, Joke. Logic, Reasoning, and Rationality: 217–232.
Heeffer, Albrecht. 2010. The Body In Renaissance Arithmetic: From Mnemonics To Embodied Cognition. In Proceedings of the Thirty Sixth Annual Convention of the Society for the Study of Artificial Intelligence and Simulation, Proceedings of the Thirty Sixth Annual Convention of the Society for the Study of Artificial Intelligence and Simulation, Alison Pease, Guhe, Markus, and Smaill, Alan. The Society for the Study of Artificial Intelligence and the Simulation of Behaviour.
De Mol, Liesbeth. 2008. On The Boundaries Of Solvability And Unsolvability In Tag Systems. Theoretical And Experimental Results.. In The complexity of simple programs, The complexity of simple programs, Damien Woods, Neary, Turlough, and Seda, Tony. Cork University Press.
Batens, Diderik. 1982. A Bridge Between Two-Valued And Many-Valued Semantic Systems: N-Tuple Semantics. Proceedings of the 12th International Symposium on Multiple-Valued Logic IEEE: Los Angeles, 318–322.
Primiero, Giuseppe. 2007. On Building Abstract Terms In Typed Systems. In Logica 2006 Yearbook, Logica 2006 Yearbook, O Tomala and Honzik, R. Filosofia Publisher.
Urbaniak, Rafal, and Severi K Hämäri. 2012. Busting A Myth About Leśniewski And Definitions. History and philosophy of logic 33: 159–189.

Pages