My spreadsheets work on PC and Mac, to the best of my knowledge equally well with either MS Excel or Gnumeric software.
Spreadsheets: |
Modal
Logic - K system
Modal
Logic - T system
Tarski's style truth model Kripke's counterexample
Arithmetic Translation of Truth Functions
Everything the kings says is true.
Curry paradox - simplified model Curry paradox - in Tarski's style
Buridan's proof of God's existence
simple Yablo's paradox model Yablo's paradox finite version
Series of times - A and B Possible Worlds