🔎
DenotationDenotation
用于观察命题、消息和信念状态的外延，帮助学生把语义定义和具体模型联系起来。 Inspect denotations of propositions, messages, and belief states, connecting semantic clauses with concrete models.
打开工具 →Open Tool →🕸️ 社交宣告逻辑核心工具 Core Tools for Social Announcement Logic
用于理解模型、宣告、表列式和可宣告性。 Tools for models, announcements, tableaux, and announceability.
🧩
Model GeneratorModel Generator
生成和检查社交宣告逻辑模型，包括主体、信念状态和关注关系，适合语义入门演示。 Generate and inspect SAL models with agents, belief states, and following relations for semantic demonstrations.
打开工具 →Open Tool →🌳
Tableau GeneratorTableau Generator
用表列式展开公式，展示证明搜索、分支闭合和反模型构造的基本思想。 Expand formulas by tableaux and illustrate proof search, branch closure, and countermodel construction.
打开工具 →Open Tool →🎄
Christmas TableauChristmas Tableau
圣诞节版本的表列式演算版本。 A christmas version of the tableau tool.
打开工具 →Open Tool →📣
Announceable TestAnnounceable Test
测试一个消息是否满足真诚宣告条件，并观察宣告前后信念状态如何更新。 Test whether a message is announceable under sincerity constraints and observe how belief states update.
打开工具 →Open Tool →🌐 社交网络、信念与一致性 Social Networks, Belief, and Coherence
用于演示社交图、回音室与信念一致性。 Demos for social graphs, echo chambers, and coherence of belief states.
🕸️
Social GraphSocial Graph
构造和观察社交网络图，展示关注关系如何影响消息传播和信念更新。 Build and inspect social graphs, showing how following relations affect message flow and belief update.
打开工具 →Open Tool →⚖️
CoherenceCoherence
比较弱一致性、全局一致性等条件，理解社交宣告逻辑中信念冲突如何出现。 Compare weak and global coherence and see how conflicts of belief arise in social announcement logic.
打开工具 →Open Tool →🔁
Echo ChamberEcho Chamber
通过社交网络中的重复传播和选择性接收，直观展示回音室现象的逻辑结构。 Visualize the logical structure of echo chambers through repeated propagation and selective reception.
打开工具 →Open Tool →🧮 逻辑、计算与示例 Logic, Computation, and Examples
面向逻辑教学与计算思维的小工具。 Small tools for logic teaching and computational thinking.
🌀
Logic of ParadoxLogic of Paradox
LP 三值语义演示，用于理解真假重叠、悖论容忍和非经典逻辑。 A three-valued LP semantics demo for truth-value gluts, paraconsistency, and non-classical logic.
打开 →Open →🧠
K-map SOPK-map SOP
用卡诺图生成最简与或式，适合连接布尔代数、数字电路和逻辑教学。 Generate simplified sum-of-products by Karnaugh maps, linking Boolean algebra, circuits, and logic teaching.
打开 →Open →🏛️
三段论算术语义验证器 Syllogistic Arithmetic Verifier
检验亚里士多德三段论在莱布尼茨式算术语义下的有效性，并自动生成反例。 Verify Aristotelian syllogisms under Leibnizian-style arithmetic semantics and generate counterexamples.
打开 →Open →🧪
表列式演算实例Example of Tableau Tree
关于Box-Diamond任意宣告分配的表列演算证明 A proof for distributivity of Box-Diamond operators in SAL Tableau.
打开 →Open →