Strategic Reasoning: Building Cognitive Models from Logical Formulas Sujata GhoshBen MeijeringRineke Verbrugge OriginalPaper Open access 11 April 2014 Pages: 1 - 29
A Hilbert-Style Axiomatisation for Equational Hybrid Logic LuĂs S. BarbosaManuel A. MartinsMarta Carreteiro OriginalPaper 12 January 2014 Pages: 31 - 52
On the Identification of Quantifiers’ Witness Sets: A Study of Multi-quantifier Sentences Livio RobaldoJakub SzymanikBen Meijering OriginalPaper 04 April 2014 Pages: 53 - 81
Speed Up the Conception of Logical Systems with Test-Driven Development Mathieu Vidal OriginalPaper 13 November 2013 Pages: 83 - 103