Single step tableaux for modal logics. Computational properties, complexity and methodology
type: Item
instance of: scholarly article
title: Single step tableaux for modal logics. Computational properties, complexity and methodology
zbMATH Open document ID: 0951.03008
DOI: 10.1023/A:1006155811656
author: Fabio Massacci
published in: Journal of Automated Reasoning
publication date: 2000-05-17T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03D15
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1448650
zbMATH Keywords: prefixed tableaux
zbMATH Keywords: modal logic
zbMATH Keywords: single step tableaux
zbMATH Keywords: confluence
zbMATH Keywords: decidability
zbMATH Keywords: space complexity
zbMATH Keywords: modularity
zbMATH Keywords: translation
zbMATH Keywords: modal resolution
zbMATH Keywords: Gentzen-type tableaux
zbMATH Keywords: decision procedures
MaRDI profile type: Publication
full work available at URL: a:1006155811656
OpenAlex ID: W1601452436
description: scientific article; zbMATH DE number 1448650