On the size of refutation Kripke models for some linear modal and tense logics
From MaRDI portal
Publication:1155046
DOI10.1007/BF00713542zbMath0466.03008MaRDI QIDQ1155046
Publication date: 1980
Published in: Studia Logica (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
03D15: Complexity of computation (including implicit computational complexity)
Related Items
Canonical formulas for K4. Part II: Cofinal subframe logics, The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics, Conditional logics of normality: A modal approach