Publications

Export 36 results:
Author Title Type [ Year(Asc)]
Filters: Author is Primiero, Giuseppe  [Clear All Filters]
In Press
Primiero, Giuseppe, and Laszlo Kosolosky. In Press. The Semantics Of Untrustworthiness. Topoi. An International Reiew of Philosophy.
2012
Martens, Liesbeth, and Giuseppe Primiero. 2012. A Formal Approach To Vague Expressions With Indexicals. Logic and Engineering of Natural Language Semantics 9 (LENLS 9-2012): 37-51.
Primiero, Giuseppe. 2012. Preprint Series of the Isaac Newton Institute for Mathematical Sciences Intuitionistic Logic Of Proofs With Dependent Proof Terms.
2010
Primiero, Giuseppe. 2010. Constructive Contextual Modal Judgments For Reasoning From Open Assumptions. In Proceedings of the Computability in Europe 2010 Conference, Proceedings of the Computability in Europe 2010 Conference, F Ferreira, Guerra, H, Mayordomo, E, and Rasga, J. Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores.
Primiero, Giuseppe. 2010. A Multi-Modal Dependent Type Theory For Representing Data Accessibility In A Network.. In Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Citeseer.
2009
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.
Primiero, Giuseppe. 2009. Epistemic Modalities Giuseppe Primiero and Rahman, Shahid. Acts of Knowledge: History, Philosophy and Logic 9: 207–232.
Primiero, Giuseppe. 2009. A Note On Constructive Modalities For Information. In Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008, Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008, Erik Weber, Libert, Thierry, Marage, Pierre, and Vanpaemel, Geert. Brussel: Koninklijke Vlaamse Academie van België.

Pages