Title	Publication Date	Language	Citations
Uncertain reasoning at FLAIRS	2015/12/01	English
S7	2013/12/01	English
A note on orthogonality of subspaces in Euclidean geometry	2013/06/01	English
Formal Ontologies and Coherent Spaces	2014/03/01	English
Infinity and verifiability in Carnapʼs inductive logic	2013/12/01	English
Special Issue on Hybrid Logics	2010/12/01	English
Editorial Board	2010/12/01	English
Editorial Board	2011/03/01	English
Editorial Board	2014/06/01	English
Editor's note: Special issue on Combining Probability and Logic to Solve Philosophical Problems	2014/09/01	English
Second order inductive logic and Wilmers' principle	2014/12/01	English
A proof-theoretic universal property of determiners	2015/12/01	English
Updating a progic	2016/03/01	English
A planner agent that tries its best in presence of nondeterminism	2012/12/01	English
Editorial Board	2012/06/01	English
Improving the semantics of the Software Cost Reduction method	2012/12/01	English
Editorial Board	2010/03/01	English
Editorial Board	2014/12/01	English
Reflecting rules: A note on generalizing the deduction theorem	2015/09/01	English
Simplified method based on an intelligent model to obtain the extinction angle of the current for a single-phase half wave controlled rectifier with resistive and inductive load	2015/06/01	English
Editorial Board	2015/06/01	English
A Dempster–Shafer model of imprecise assertion strategies	2015/12/01	English
Editorial Board	2015/03/01	English
The Ackermann approach for modal logic, correspondence theory and second-order reduction	2012/03/01	English
Special issue on Automated Specification and Verification of Web Systems	2012/03/01	English
Editorial Board	2011/12/01	English
Editorial Board	2009/12/01	English
Category theory, logic and formal linguistics: Some connections, old and new	2014/03/01	English
Editorial Board	2014/03/01	English
Editorial	2004/06/01	English