Code

Add K4Dot2, K4Dot3#215

Code

Merged

SnO2WMaN merged 11 commits intomasterFormalizedFormalLogic/Foundation:masterfrom weakdotFormalizedFormalLogic/Foundation:weakdotCopy head branch name to clipboardMar 1, 2025

+637-15

Commits

Commits on Feb 28, 2025

• Saturated Consistent Tableau for modal logic

  SnO2WMaN

  committed
  f5fc0b1

  Copy full SHA for f5fc0b1

• wip

  SnO2WMaN

  committed
  79c5f58

  Copy full SHA for 79c5f58

• wip

  SnO2WMaN

  committed
  524abec

  Copy full SHA for 524abec

• fix about truthlemma

  SnO2WMaN

  committed
  b5f3e33

  Copy full SHA for b5f3e33

• geach canonical

  SnO2WMaN

  committed
  684d939

  Copy full SHA for 684d939

• simply geacheans

  SnO2WMaN

  committed
  4e4db3e

  Copy full SHA for 4e4db3e

• Dot3

  SnO2WMaN

  committed
  9ed1aa8

  Copy full SHA for 9ed1aa8

• wip

  SnO2WMaN

  committed
  3010a2b

  Copy full SHA for 3010a2b

• K4Dot2, K4Dot3 Sublogics

  SnO2WMaN

  committed
  a95680c

  Copy full SHA for a95680c

Commits on Mar 1, 2025

• WeakDot3

  SnO2WMaN

  committed
  da4f117

  Copy full SHA for da4f117

• Dot2

  SnO2WMaN

  committed
  696b408

  Copy full SHA for 696b408