| The sure thing principle, dilations, and objective probabilities | 2013/12/01 | English | 3 |
| Semantic computations of truth based on associations already learned | 2004/12/01 | English | 2 |
| On the applicability of the ‘number of possible states’ argument in multi-expert reasoning | 2016/12/01 | English | 2 |
| Using inductive reasoning for completing OCF-networks | 2015/12/01 | English | 2 |
| Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks | 2015/12/01 | English | 2 |
| A sequent calculus for a logic of contingencies | 2013/12/01 | English | 2 |
| Equivalence issues in abduction and induction | 2009/09/01 | English | 2 |
| Probabilistic reasoning in a classical logic | 2009/06/01 | English | 2 |
| Solving the $100 modal logic challenge | 2009/03/01 | English | 2 |
| A proof-centric approach to mathematical assistants | 2006/12/01 | English | 2 |
| Using logical relevance for question answering | 2007/03/01 | English | 2 |
| Hoop twist-structures | 2016/11/01 | English | 2 |
| Reprint of: Assertion and denial: A contribution from logical notations | 2017/12/01 | English | 2 |
| Iterated privation and positive predication | 2017/12/01 | English | 2 |
| Bunched sequential information | 2016/05/01 | English | 2 |
| The principle of signature exchangeability | 2016/05/01 | English | 2 |
| Measuring inaccuracy of uncertain doxastic states in many-valued logical systems | 2016/03/01 | English | 2 |
| Price of privacy | 2017/03/01 | English | 2 |
| An analytic tableau calculus for a temporalised belief logic | 2011/12/01 | English | 2 |
| Denotation of contextual modal type theory (CMTT): Syntax and meta-programming | 2013/03/01 | English | 2 |
| On the existence of free models in fuzzy universal Horn classes | 2017/09/01 | English | 2 |
| Evolutionary simulation of complex networks' structures with specific functional properties | 2017/11/01 | English | 2 |
| Assertion and denial: A contribution from logical notations | 2017/12/01 | English | 2 |
| Dark programming and the case for the rationality of programs | 2008/12/01 | English | 2 |
| Program algebra with a jump-shift instruction | 2008/12/01 | English | 2 |
| Computation, hypercomputation, and physical science | 2008/12/01 | English | 2 |
| On the a priori and a posteriori assessment of probabilities | 2013/12/01 | English | 2 |
| Capturing equilibrium models in modal logic | 2014/06/01 | English | 2 |
| Unity in nominal equational reasoning: The algebra of equality on nominal sets | 2012/06/01 | English | 2 |
| Equivalence for the G3′-stable models semantics | 2010/03/01 | English | 2 |