Title	Publication Date	Language	Citations
Special Issue on Formal Models of Belief Change in Rational Agents	2009/12/01	English	1
Living up to one's commitments: Agency, strategies and trust	2008/06/01	English	1
A clausal resolution method for extended computation tree logic ECTL	2006/06/01	English	1
Semantics for more plausible deontic logics	2004/03/01	English	1
Essential unifiers	2006/03/01	English	1
SAD as a mathematical assistant—how should we go from here to there?	2006/12/01	English	1
Supporting the formal verification of mathematical texts	2006/12/01	English	1
Only knowing with degrees of confidence	2007/09/01	English	1
Deductive temporal reasoning with constraints	2013/03/01	English	1
Special issue on logics for intelligent agents and multi-agent systems	2011/12/01	English	1
Opacity and the double life of singular propositions	2012/09/01	English	1
A concept approach to input/output logic	2015/09/01	English	1
An application of Carnapian inductive logic to an argument in the philosophy of statistics	2014/09/01	English	1
Variants of the basic calculus of constructions	2004/06/01	English	1
Paraconsistent Informational Logic	2005/03/01	English	1
Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence	2009/06/01	English	1
Towards refinement of abductive or inductive hypotheses through propagation	2009/09/01	English	1
Precise specification matching for adaptive reuse in embedded systems	2007/06/01	English	1
Hybrids of the ×-translation for CZFω	2008/09/01	English	1
Is ZF a hack?	2006/12/01	English	1
A multiple-valued logic approach to the design and verification of hardware circuits	2016/05/01	English	1
Computing the Lagrangians of the standard model	2015/12/01	English	1
On assertion and denial in the logic for pragmatics	2017/12/01	English	1
Reprint of: A more general general proof theory	2017/12/01	English	1
Characterization of unidimensional averaged similarities	2017/09/01	English	1
An overview of algorithmic approaches to compute optimum entropy distributions in the expert system shell MECore (extended version)	2016/12/01	English	1
System JLZ – rational default reasoning by minimal ranking constructions	2003/06/01	English	1
Electronic institutions and neural computing providing law-compliance privacy for trusting agents	2017/11/01	English	1
Hierarchical beam search for solving most relevant explanation in Bayesian networks	2017/07/01	English	1
Challenging epistemology: Interactive proofs and zero knowledge	2008/12/01	English	1