Publications

Export 823 results:
[ Author(Asc)] Title 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 
P
Primiero, Giuseppe. 2011. Intuitionistic Modal Logic and Applications Workshop (IMLA11), Nancy A Multi-Modal Type System And Its Procedural Semantics For Safe Distributed Programming.
Pouliasis, Konstantinos, and Giuseppe Primiero. 2014. J-Calc: A Typed Lambda Calculus For Intuitionistic Justification Logic. Electronic Notes in Theoretical Computer Science 300: 71–87.
Pieters, Eva. 2009. "clear Moon, Frost Soon". An Introduction To The Study Of Meteorological Practices In The Low Countries (1550-1850). In Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008, Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008, Erik Weber, Libert, Thierry, Marage, Pierre, and Vanpaemel, Geert. {Koninklijke Vlaamse Academie van België.
M
Meheus, Joke. 2005. Empirical Progress And Ampliative Adaptive Logics Roberto Festa, Aliseda, Atocha, and Peijnenburg, Jeanne. Confirmation, Empirical Progress, and Truth Approximation. Essays in Debate with Theo Kuipers. Vol. 1 83: 193–217.
Meheus, Joke, Mathieu Beirlaen, and Frederik Van De Putte. 2010. Avoiding Deontic Explosion By Contextually Restricting Aggregation. In Proceedings of the 10th International Conference on Deontic Logic in Computer Science (DEON 2010), Proceedings of the 10th International Conference on Deontic Logic in Computer Science (DEON 2010), Guido Governatori and Sartor, Giovanni. Dordrecht: Springer.
Meheus, Joke. 1994. Elk Wetenschapper Zijn Onderzoeksprogramma? Jean Paul Van Bendegem and Kornelis, Gustaaf. Iedereen die niet denkt zoals ik, volge mij. Acta 16de Nederlands-Vlaamse Filosofiedag: 61–67.
Meheus, Joke. 1999. Model-Based Reasoning In Creative Processes Lorenzo Magnani, Nersessian, Nancy, and Thagard, Paul. Model-Based Reasoning in Scientific Discovery: 199–217.
Meheus, Joke. 2001. Adaptive Logics For Question Evocation. Logique et Analyse 44: 135–164.

Pages