Issue 1/2014
Content (4 Articles)
Open Access
Strategic Reasoning: Building Cognitive Models from Logical Formulas
Sujata Ghosh, Ben Meijering, Rineke Verbrugge
A Hilbert-Style Axiomatisation for Equational Hybrid Logic
Luís S. Barbosa, Manuel A. Martins, Marta Carreteiro
On the Identification of Quantifiers’ Witness Sets: A Study of Multi-quantifier Sentences
Livio Robaldo, Jakub Szymanik, Ben Meijering