Title	Publication Date	Language	Citations
A general first-order solution to the ramification problem with cycles	2013/09/01	English
Combining probability and logic: Papers from Progic 2011	2013/12/01	English
Editorial Board	2013/12/01	English
SLAP: Specification logic of actions with probability	2014/06/01	English
Editorial Board	2016/07/01	English
The left adjoint of Spec from a category of lattice-ordered groups	2016/05/01	English
Editorial Board	2016/11/01	English
A Paraconsistent Decagon	2005/03/01	English
Preface	2005/06/01	English
Common-sense reasoning as proto-scientific agent activity	2004/12/01	English
Editorial Board	2004/09/01	English
Defining answer classes using resolution refutation	2007/03/01	English
Editorial Board	2006/03/01	English
Special issue arising from the Third International Workshop on Computational Models of Scientific Reasoning and Applications	2004/12/01	English
Editorial note	2004/03/01	English
Journal of Applied Logic Special Volume on Neural-Symbolic Systems	2004/09/01	English
Methods for modalities 3	2006/09/01	English
Editors' introduction	2006/06/01	English
Editorial	2005/09/01	English
Editorial Board	2005/09/01	English
Subject Index	2005/09/01	English
Author Index	2005/09/01	English
Simulating Turing machines on Maurer machines	2008/03/01	English
Editorial Board	2012/12/01	English
Editorial Board	2013/03/01	English
Selected papers from the 6th International Conference on Soft Computing Models in Industrial and Environmental Applications	2012/12/01	English
Reasoning about visibility	2012/06/01	English
Editorial Board	2012/03/01	English
Editorial Board	2007/12/01	English
Editorial Board	2011/06/01	English