Blog
About

3
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic

      Artificial Intelligence

      Elsevier BV

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references 2

          • Record: found
          • Abstract: not found
          • Article: not found

          The Computational Complexity of Provability in Systems of Modal Propositional Logic

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            A guide to completeness and complexity for modal logics of knowledge and belief

              Bookmark

              Author and article information

              Journal
              Artificial Intelligence
              Artificial Intelligence
              Elsevier BV
              00043702
              June 1995
              June 1995
              : 75
              : 2
              : 361-372
              Article
              10.1016/0004-3702(95)00018-A
              © 1995

              Comments

              Comment on this article