Publications

Export 42 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is P  [Clear All Filters]
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, and Joke Meheus. 2008. Quasi-Merging And Pure-Arbitration On Information For The Family Of Adaptive Logics Adm. In Proceedings of the Workshop on Logic and Intelligent Interaction, Proceedings of the Workshop on Logic and Intelligent Interaction, Johan van Benthem and Pacuit, Eric.
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. 2012. Preprint Series of the Isaac Newton Institute for Mathematical Sciences Intuitionistic Logic Of Proofs With Dependent Proof Terms.
Primiero, Giuseppe. 2009. A Constructive Modal Semantics For Contextual Verification. In Proceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications, Proceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications, CEUR-Workshop Proceedings. http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-550/.
Primiero, Giuseppe. 2009. Epistemic Modalities Giuseppe Primiero and Rahman, Shahid. Acts of Knowledge: History, Philosophy and Logic 9: 207–232.
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ë.

Pages