PSPACE bounds for rank-1 modal logics
type: Item
instance of: scholarly article
title: PSPACE bounds for rank-1 modal logics
zbMATH Open document ID: 1351.03015
DOI: 10.1145/1462179.1462185
author: Lutz Schröder
author: Dirk Pattinson
published in: ACM Transactions on Computational Logic
publication date: 2015-09-17T00:00:00Z
full work available at URL: https://arxiv.org/abs/0706.4044
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 6483080
zbMATH Keywords: shallow models
zbMATH Keywords: coalgebra
zbMATH Keywords: resolution
MaRDI profile type: Publication
OpenAlex ID: W2250074872
arXiv ID: 0706.4044
Recommended article: PSpace reasoning for graded modal logics
Recommended article: Q4263156
Recommended article: Q5483013
Recommended article: Q3085172
Recommended article: Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
Recommended article: Q5465444
Recommended article: Q4430396
Recommended article: Lower bounds for modal logics
Recommended article: A modal view on resource-bounded propositional logics
Recommended article: Presburger Modal Logic Is PSPACE-Complete
description: scientific article