- 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
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.