Play. Design. Learn Logic.

LogiCraft is a co-design framework for creating and modifying tile-based board games that teach propositional logic. It turns abstract logic concepts into tactile, visual, and interactive learning experiences.

Made by students, for students, in collaboration with VU

Crystal Star

Why LogiCraft?

Making Logic Tangible Traditional logic education can feel abstract and inaccessible. LogiCraft uses game-based learning to make logic concepts engaging, intuitive, and fun. It's built for learners and educators who want to explore logic hands-on—through puzzles, collaboration, and play.

Our Great Partners

Collaborating with leading educational institutions to bring logic education forward

Co-design for deeper learning

We use a participatory, iterative design process where students, teachers, and designers collaboratively shape educational logic games. Inspired by game-modding and "half-baked" games, LogiCraft encourages players to treat rules as flexible and open to refinement.

Co-design process

Key Challenges We Address

  • How can logic become engaging in group learning?
  • How can games preserve logical accuracy while being fun?
  • What principles ensure that gameplay supports learning?

Our Objectives

  • Develop a flexible, scalable framework for diverse classrooms
  • Align games with core logic concepts: connectives, formulas, and real-world applications
  • Leverage collaboration and competition to sustain motivation and deepen engagement

What We Believe

Core Hypotheses

  • Board games increase accessibility and engagement with logic using visual and tactile tools
  • Educators can guide structured logic learning through playful, interactive systems

Try LogiCraft Today

Whether you're an educator, student, or designer—LogiCraft gives you the tools to create, adapt, and play logic games that teach.

¬SCR∧BL QR Code

¬SCR∧BL

Build formulas. Solve challenges. Learn logic together.

¬SCR∧BL is a Scrabble-inspired cooperative board game that helps players learn propositional logic by constructing valid logical formulas using colored tiles.

Tautoblocks QR Code

Tautoblocks

Negate, compete, and master complex logic.

Tautoblocks is a fast-paced, competitive board game for players who already understand basic propositional logic. It introduces formal negation, tautologies, and contradictions through strategic tile placement.

Deducto QR Code

Deducto

Translate. Deduce. Solve logic puzzles together.

Deducto focuses on developing advanced logic skills through cooperative puzzle-solving, emphasizing translating natural language into logical formulas and making deductions.

About the Team

Daniel Azevedo
Daniel Azevedo

I'm Daniel, a Maths student at AUC (Amsterdam University College). I've always liked playing board games so it's been really fun to help design this one. I also like listening to music a lot and I spend a lot of time at the cinema.

Mariana Peixoto
Mariana Peixoto

My name is Mariana, I'm a 2nd year honors communication and media student at Vrije Universiteit Amsterdam. I've been addicted to playing games since I was kid- now I get to help design them!

Vlada Hancu
Vlada Hancu

My name is Vlada, and I'm a Bachelor of Science student specializing in Chemistry. Logic has long been a personal interest of mine, and I was excited to contribute my creative skills to this inspiring project.

Marco Cusinato
Marco Cusinato

I'm Marco, a Bachelor's student in Computer Science and Logic, also passionate about plants, politics, and cooking. Fell in love with logic because it connects everything we experience with how we reason about it.

The Big Three

The LogiCraft project is led by Tamara Dobler, an assistant professor in philosophy of language at Vrije Universiteit Amsterdam. The academic team includes Lorenzo Galeotti (University of Amsterdam) and Riemer van Rozen (Centrum Wiskunde & Informatica). All three love playing (and making!) games.

Tamara Dobler
Tamara Dobler
Lorenzo Galeotti
Lorenzo Galeotti
Riemer van Rozen
Riemer van Rozen
River Rain
River Rain

I’m an international student and recent graduate of Amsterdam University College with a degree in Information Science. As an artist and designer, I’m especially passionate about blending engaging storytelling and interactive visuals in game design.

Water

A Grassroots Journey in Collaborative Game Design The story of Logically began as a small-scale community learning project at Amsterdam University College (AUC), led by Tamara Dobler, a logic teacher determined to make formal logic more accessible and engaging for students. The project initially involved three AUC students who worked closely with Tamara to explore innovative ways to teach logic beyond the traditional classroom setting. Their first venture took them to Kinkerbuurt Basisschool in Amsterdam, where they collaborated with primary school students in a series of co-design sessions. These sessions were lively, creative, and brimming with ideas, resulting in the development of Captain De Morgan’s Adventures—a card game designed for advanced learners. The success of this project inspired the team to create something tailored for younger students aged 11–14, focusing on foundational concepts of propositional logic. The following academic year, the project gained momentum thanks to a starting grant from AUC that Tamara secured. With River Rain taking the lead on the design team, the project expanded its reach to include co-design sessions with high school students from Het Amsterdams Lyceum and Het Hyperion Lyceum—the only high school in Amsterdam that teaches formal logic and argumentation as standalone subjects. These collaborative sessions were transformative. Engaging with students across different age groups provided invaluable insights into how logic could be taught through play. The result of this iterative process was the creation of Logically, a tile-based board game specifically designed for classroom use. Its intuitive mechanics and playful design make it an ideal tool for teaching logic, mathematics, programming, and philosophy. In its current form, Logically is ready for deployment in classrooms. The game has also been made available online via the Tabletop Simulator, extending its reach to educators and students worldwide. More than just a game, Logically represents the culmination of a grassroots initiative where university and high school students played an essential role in the design process. Their creativity, feedback, and enthusiasm have shaped the game into an engaging educational tool. Looking ahead, the project team envisions expanding Logically to include extensions for epistemic and predicate logic, further broadening its educational potential. At its core, this project is about more than creating a game—it’s about empowering learners, fostering collaboration, and reimagining how we teach the foundations of logic. From its humble beginnings in a small classroom at AUC to its current form as a polished educational tool, Logically is a testament to the power of grassroots collaboration and the enduring impact of community-driven learning. Current team members (university students): Daniel Azevedo, Mariana Peixoto, Marco Cusinato, Vlada Hancu Past team members: River Rain, Tim Doering, Nicolas Mousset, Sophie Petiet Senior team members: Tamara Dobler (VU), Lorenzo Galeotti (UvA), Riemer van Rozen (CWI)

Gallery