A playable version of the Henkin-Hintikka Game: Introductory Game Theoretical Semantics (GTS)
Logical System
:root {
--bg: #f2f4f3;
--paper: #ffffff;
--paper-border: #dde1e0;
--ink: #1b232c;
--ink-soft: #5c6570;
--ink-faint: #1b232c;
--line: #c7cdcb;
--you: #0f7938;
--you-tint: #e3f0ec;
--opp: #c81e2f;
--opp-tint: #f5e8ed;
--accent: #223655;
--rule: #d6dbd9;
--dot: #00000009;
}
@media (prefers-color-scheme: dark) {
:root:not([data-theme="light"]) {
--bg: #12161a;
--paper: #1a1f25;
--paper-border: #2b323a;
--ink: #e9ecee;
--ink-soft: #a2aab3;
--ink-faint: #e9ecee;
--line: #3c444d;