Blog
About
Search
Advanced search

3
views
2
references
 Top references
11
cited by
 Most cited
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      4,255
      similar
       All similar
      • 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

      Author(s):

      Publication date Created:

      Publication date (Print):

      Journal: Artificial Intelligence

      Publisher: 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

           Richard Ladner (1977)
          Article 0 comments Cited 44 times – based on 0 reviews     Review now
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

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

             Joseph Y. Halpern,  Yoram Moses (1992)
            Article 0 comments Cited 39 times – based on 0 reviews     Review now
              Bookmark
              All references

              Author and article information

              Journal
              Title: Artificial Intelligence
              Abbreviated Title: Artificial Intelligence
              Publisher: Elsevier BV
              ISSN (Print): 00043702
              Publication date Created: June 1995
              Publication date (Print): June 1995
              Volume: 75
              Issue: 2
              Pages: 361-372
              Article
              DOI: 10.1016/0004-3702(95)00018-A
              Copyright statement: © 1995
              License:

              http://www.elsevier.com/tdm/userlicense/1.0/

              Product

              Data availability:

              Comments

              Comment on this article

              Similar content 4,255

              See all similar

              Cited by 11

              See all cited by

              Most referenced authors 9

              See all reference authors