On the relative complexity of labelled modal tableaux
type: Item
instance of: scholarly article
zbMATH Open document ID: 1270.03123
author: Guido Governatori
publication date: 2013-08-27T00:00:00Z
full work available at URL: S1571066104810053
Mathematics Subject Classification ID: 03F20
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 6201775
MaRDI profile type: Publication
Recommended article: Q4518916
Recommended article: Q5411414
Recommended article: Q2753686
Recommended article: Q5224566
Recommended article: Q4910732
Recommended article: Q4364506
Recommended article: Single step tableaux for modal logics. Computational properties, complexity and methodology
Recommended article: TABLEAUX: A general theorem prover for modal logics
Recommended article: Complexity results for modal dependence logic
title: On the relative complexity of labelled modal tableaux
description: scientific article; zbMATH DE number 6201775