Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 39 results:

Filters: First Letter Of Title is M [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

M

Primiero, Giuseppe. 2007. “A Modal Language For Contextual Computations”.

Urbaniak, Rafal, and Agnieszka Rostalska. 2009. “Modal Logic And Philosophy. A Case Study.” Erik Weber, Libert, Thierry, Marage, Pierre, and Vanpaemel, Geert. Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008: 79-83.

Primiero, Giuseppe, and Mariarosaria Taddeo. 2012. “A Modal Type Theory For Formalizing Trusted Communications”. Journal of Applied Logic 10: 92–114.

Primiero, Giuseppe. 2008. A Model For Processing Updates With Inconsistent Information On Propositional Databases. College Publications.

Meheus, Joke. 1999. “Model-Based Reasoning In Creative Processes” Lorenzo Magnani, Nersessian, Nancy, and Thagard, Paul. Model-Based Reasoning in Scientific Discovery: 199–217.

van Gulik, Stephan van der Wa, and Peter Verdée. 2008. “Modeling Sorites Reasoning With Adaptive Fuzzy Logic”. Fuzzy Sets and Systems 159: 1869–1884.

Gauderis, Tjerk. 2013. “Modelling Abduction In Science By Means Of A Modal Adaptive Logic”. FOUNDATIONS OF SCIENCE 18: 611–624.

Verdée, Peter. 2012. “Modelling Defeasible Reasoning By Means Of Adaptive Logic Games”. Logic Journal of the IGPL 20: 417–437.

Clarke, Brendan, Bert Leuridan, and Jon Williamson. 2014. “Modelling Mechanisms With Causal Cycles”. Synthese 191: 1651–1681.

De Langhe, Rogier. 2010. “Models In Science: Essays On Scientific Virtues, Scientific Pluralism And The Distribution Of Labour In Science”.

Weber, Erik. 1992. “Models Of Explanation: An Evaluation Of Their Fruitfulness”. COMMUNICATION & COGNITION : MONOGRAPHIES 25: 339–352.

Vanderbeeken, Robrecht. 2004. “Models Of Intentional Explanation.”. Philosophical Explorations 7: 233–247.

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.

Primiero, Giuseppe. 2011. Intuitionistic Modal Logic and Applications Workshop (IMLA11), Nancy A Multi-Modal Type System And Its Procedural Semantics For Safe Distributed Programming.

Pages