Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Modal logic #1146

Draft
wants to merge 63 commits into
base: master
Choose a base branch
from
Draft

Modal logic #1146

wants to merge 63 commits into from

Commits on May 31, 2024

  1. first syntax and semantics draft

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    8a92a52 View commit details
    Browse the repository at this point in the history

  2. add soundness

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    63b0e15 View commit details
    Browse the repository at this point in the history

  3. - Change Hilbert system 

    - Add index for variables in formulas
- Add soundness for decidable valuation
    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    5f89c97 View commit details
    Browse the repository at this point in the history

  4. Kripke fram should be not empty

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    49f2cf6 View commit details
    Browse the repository at this point in the history

  5. Refactor soundness

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    517fc91 View commit details
    Browse the repository at this point in the history

  6. Add finite model

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    6053173 View commit details
    Browse the repository at this point in the history

  7. simplify finite-is-classical proof

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    d1744d9 View commit details
    Browse the repository at this point in the history

  8. - Rewrite valuate to Propositions 

    - Add priorities
    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    1f8f53f View commit details
    Browse the repository at this point in the history

  9. Small fixes, and refactor kripke-frame

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    661adc6 View commit details
    Browse the repository at this point in the history

  10. Refactor modal logic

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    3b3ba68 View commit details
    Browse the repository at this point in the history

  11. - Refactor 

    - Add me to contributors
    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    957e112 View commit details
    Browse the repository at this point in the history

  12. Change operators levels and associativity

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    341456a View commit details
    Browse the repository at this point in the history

  13. Refactor universe levels

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    9db88ca View commit details
    Browse the repository at this point in the history

  14. Small fixes

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    30056ba View commit details
    Browse the repository at this point in the history

  15. Refactor

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    0d22369 View commit details
    Browse the repository at this point in the history

  16. Add logics as sets of formulas

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    21d74ce View commit details
    Browse the repository at this point in the history

  17. Remove old K definition

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    8ecf60e View commit details
    Browse the repository at this point in the history

  18. Fix index file

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    bb2f31b View commit details
    Browse the repository at this point in the history

  19. Add K soundness

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    41d20ab View commit details
    Browse the repository at this point in the history

  20. Refactor kripke-models

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    03d2142 View commit details
    Browse the repository at this point in the history

  21. Add finite models

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    88cb89f View commit details
    Browse the repository at this point in the history

  22. Experiments with axioms definitions

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    ef73d85 View commit details
    Browse the repository at this point in the history

  23. Add completeness definition

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    28fc80e View commit details
    Browse the repository at this point in the history

  24. Refactor axioms

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    2ddac8e View commit details
    Browse the repository at this point in the history

  25. Add uncompleted proof of completeness K

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    e17134d View commit details
    Browse the repository at this point in the history

  26. Run pre-commit

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    c1ae1ff View commit details
    Browse the repository at this point in the history

  27. Proof canonical model theorem

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    b358d85 View commit details
    Browse the repository at this point in the history

  28. fix pre-commit

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    9e3bb01 View commit details
    Browse the repository at this point in the history

  29. Prove the second point of canonical model theorem

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    fd1cc31 View commit details
    Browse the repository at this point in the history

  30. Prove completeness K

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    39bccd5 View commit details
    Browse the repository at this point in the history

  31. fix renamed functions

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    200901a View commit details
    Browse the repository at this point in the history

  32. fix pre-commit

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    77f1901 View commit details
    Browse the repository at this point in the history

  33. Small refactor and add canonical axioms

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    f31d02d View commit details
    Browse the repository at this point in the history

  34. Add S5 soundness and refactor kripke-frame

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    eb31291 View commit details
    Browse the repository at this point in the history

  35. Proof completeness of S5

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    0e1fd0e View commit details
    Browse the repository at this point in the history

  36. Add filtrations and finite approximability

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    b019f5b View commit details
    Browse the repository at this point in the history

  37. Rename map-list to dependent-map-list

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    f41eaff View commit details
    Browse the repository at this point in the history

  38. Small fixes

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    53eb3bf View commit details
    Browse the repository at this point in the history

  39. Refactor weak-deduction and L-complete theories

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    e51080a View commit details
    Browse the repository at this point in the history

  40. Refactor Lindanbaum's lemma

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    317fd29 View commit details
    Browse the repository at this point in the history

  41. Remove old code from weak-deduction

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    998bd15 View commit details
    Browse the repository at this point in the history

  42. Refactor canonical kripke model

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    8d29db3 View commit details
    Browse the repository at this point in the history

  43. Refactor canonical model theorem

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    02b75b6 View commit details
    Browse the repository at this point in the history

  44. Fix types in filtrations

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    7696793 View commit details
    Browse the repository at this point in the history

  45. Remove upper characters from file names

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    89951d2 View commit details
    Browse the repository at this point in the history

  46. Make pre-commit one more time

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    c60b49b View commit details
    Browse the repository at this point in the history

  47. Refactor after rebase

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    706ff33 View commit details
    Browse the repository at this point in the history

  48. Small refactor filtrations

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    424667a View commit details
    Browse the repository at this point in the history

  49. Refactor subtypes

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    873449a View commit details
    Browse the repository at this point in the history

  50. Refactor formulas and module names

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    4111374 View commit details
    Browse the repository at this point in the history

  51. Refactor var

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    662bc0f View commit details
    Browse the repository at this point in the history

  52. Fix filtration lemma and deduction theorem

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    29eed33 View commit details
    Browse the repository at this point in the history

  53. Fix filtratiom lemma file name

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    b2d85c4 View commit details
    Browse the repository at this point in the history

  54. Add recurser for equivalence classes and refactor

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    294ae82 View commit details
    Browse the repository at this point in the history

  55. Prove inductor for equivalence classes

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    b978ed1 View commit details
    Browse the repository at this point in the history

  56. Replace zorn lemma in canonical model theorem

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    e44f24f View commit details
    Browse the repository at this point in the history

  57. Refactor kripke semantics

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    081aa53 View commit details
    Browse the repository at this point in the history

  58. Fix filtration definition

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    0df9fd4 View commit details
    Browse the repository at this point in the history

  59. Complete eliminators for equivalence class

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    3555784 View commit details
    Browse the repository at this point in the history

  60. Refactor finite approximability

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    e1bc75f View commit details
    Browse the repository at this point in the history

  61. Refactor

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    a9d4e80 View commit details
    Browse the repository at this point in the history

  62. Refactor filtrations

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    2cc2b80 View commit details
    Browse the repository at this point in the history

  63. Fix import in finite-approximability

    @spcfox
    spcfox committed May 31, 2024
    Configuration menu
    Copy the full SHA
    ba35873 View commit details
    Browse the repository at this point in the history