scientific article; zbMATH DE number 3995647

zbMath0615.03023MaRDI QIDQ4723713

Alexander Chagrov

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

satisfiability problemmodal logicsintermediate logicscomplexity function

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Complexity of computation (including implicit computational complexity) (03D15) Intermediate logics (03B55)

Related Items

Complexity of admissible rules, The disjunction property of intermediate propositional logics, Modal companions of intermediate propositional logics, Rules with parameters in modal logic. II., Computational complexity for bounded distributive lattices with negation, Complexity of intuitionistic propositional logic and its fragments, On the proof complexity of logics of bounded branching