Titel	Veröffentlichungsdatum	Sprache	Zitate
Interpreting HOL in the calculus of constructions	2004/06/01	English
Editorial Board	2007/03/01	English
Editorial Board	2006/09/01	English
An adaptive logic for relevant classical deduction	2007/12/01	English
Abduction and Induction in Artificial Intelligence	2009/09/01	English
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules	2009/09/01	English
Reconsideration of circumscriptive induction with pointwise circumscription	2009/09/01	English
Author Index	2004/12/01	English
Subject Index	2004/12/01	English
Editorial Board	2004/12/01	English
Editorial Board	2009/06/01	English
Towards computer aided mathematics	2006/12/01	English
Editorial Board	2007/09/01	English
Editorial	2008/06/01	English
A note on an extension of PDL	2008/12/01	English
Editorial Board	2008/06/01	English
Editorial Board	2008/03/01	English
Translation of first order formulas into ground formulas via a completion theory	2016/05/01	English
Behavioral equivalence of hidden k-logics: An abstract algebraic approach	2016/07/01	English
Editorial Board	2017/12/01	English
Reasoning about negligibility and proximity in the set of all hyperreals	2016/07/01	English
Editorial Board	2017/03/01	English
Editorial Board	2017/09/01	English
Editorial Board	2017/05/01	English
Bridging Curry and Church's typing style	2016/11/01	English
Special issue SOCO14-JAL	2017/11/01	English
The structure of ideas in The Port Royal Logic	2016/12/01	English
Efficient incremental planning and learning with multi-valued decision diagrams	2017/07/01	English
Editorial Board	2016/12/01	English
An ordered credibility contrast semantics for finite probability agreement	2017/07/01	English