An Analytic Tableaux Model for Deductive Mastermind Empirically Tested with a Massively Used Online Learning System

Nina Gierasimczuk, Han L. J. van der Maas, Maartje E. J. Raijmakers

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)297-314
JournalJournal of Logic, Language and Information
Volume22
Issue number3
DOIs
Publication statusPublished - Jul 2013

Keywords

  • Deductive Mastermind
  • Mastermind game
  • Deductive reasoning
  • Analytic tableaux
  • Math Garden (Rekentuin)
  • Educational tools

Cite this

@article{0e19636efa104fedba7c219250bedf11,
title = "An Analytic Tableaux Model for Deductive Mastermind Empirically Tested with a Massively Used Online Learning System",
keywords = "Deductive Mastermind, Mastermind game, Deductive reasoning, Analytic tableaux, Math Garden (Rekentuin), Educational tools",
author = "Nina Gierasimczuk and {van der Maas}, {Han L. J.} and Raijmakers, {Maartje E. J.}",
year = "2013",
month = "7",
doi = "10.1007/s10849-013-9177-5",
language = "English",
volume = "22",
pages = "297--314",
journal = "Journal of Logic, Language and Information",
issn = "0925-8531",
publisher = "Springer Netherlands",
number = "3",

}

An Analytic Tableaux Model for Deductive Mastermind Empirically Tested with a Massively Used Online Learning System. / Gierasimczuk, Nina; van der Maas, Han L. J.; Raijmakers, Maartje E. J.

In: Journal of Logic, Language and Information, Vol. 22, No. 3, 07.2013, p. 297-314.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - An Analytic Tableaux Model for Deductive Mastermind Empirically Tested with a Massively Used Online Learning System

AU - Gierasimczuk, Nina

AU - van der Maas, Han L. J.

AU - Raijmakers, Maartje E. J.

PY - 2013/7

Y1 - 2013/7

KW - Deductive Mastermind

KW - Mastermind game

KW - Deductive reasoning

KW - Analytic tableaux

KW - Math Garden (Rekentuin)

KW - Educational tools

U2 - 10.1007/s10849-013-9177-5

DO - 10.1007/s10849-013-9177-5

M3 - Article

VL - 22

SP - 297

EP - 314

JO - Journal of Logic, Language and Information

JF - Journal of Logic, Language and Information

SN - 0925-8531

IS - 3

ER -