1 search result for "tag:"keyword:decidability""

Showing 1 - 1
  1. coq-comp-dec-modal

    No documentation

    Constructive proofs of soundness and completeness for K, K*, CTL, PDL, and PDL with converse
    category:Mathematics/Logic/Modal logic keyword:modal logic keyword:completeness keyword:decidability keyword:Hilbert system keyword:computation tree logic keyword:propositional dynamic logic logpath:CompDecModal date:2024-07-24
    Christian Doczkal
    1.2
    CECILL-B
    Used by 0 other packages
    24 Jul 2024