Improved decision procedures for the modal logics K, T and S4
type: Item
instance of: scholarly article
title: Improved decision procedures for the modal logics K, T and S4
zbMATH Open document ID: 1540.03044
DOI: 10.1007/3-540-61377-3_46
author: Jörg Hudelmaier
publication date: 2024-06-21T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 7869532
MaRDI profile type: Publication
cites work: The Computational Complexity of Provability in Systems of Modal Propositional Logic
cites work: An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic
cites work: Proof methods for modal and intuitionistic logics
cites work: The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics
cites work: A tableau-like proof procedure for normal modal logics
cites work: The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
cites work: Q3972527
cites work: Q3999539
description: scientific article; zbMATH DE number 7869532