Decision Problems of some Intermediate Logics and Their Fragments

Abstract

Complexity of decision problem of propositional logics extending the intuitionistic logic, also under the restriction on the number of allowed atoms and the set of logical connectives, is discussed.

Keywords

• Intermediate Logics
• Decision Problems
• Fragments of Logics