IMDEA Software Institute

Frutopia: A Hybrid Tangible Serious Game for Multisensory Interaction and Tactile Exploration

Serious games have demonstrated significant potential for supporting learning, cognitive stimulation, and skill development. However, most existing solutions rely predominantly on visual and auditory interaction, while the integration of real tactile experiences remains limited d...

Inception Display Calculi

Abstract Display calculi were introduced by Nuel Belnap in [3] as a natural extension of Gentzen’s sequent calculi, as a uniform and modular framework capable of encompassing broad classes of logics. In [28], the properly displayable (D)LE-logics are syntactically characterized a...