The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
type: Item
instance of: scholarly article
title: The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
zbMATH Open document ID: 1014.03508
DOI: 10.1016/0004-3702(95)00018-A
author: Joseph Y. Halpern
published in: Artificial Intelligence
publication date: 2003-02-04T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03D15
Mathematics Subject Classification ID: 68Q15
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1863784
MaRDI profile type: Publication
cites work: Q3867808
cites work: A theory of knowledge and ignorance for many agents
cites work: A guide to completeness and complexity for modal logics of knowledge and belief
cites work: Q5604443
cites work: The Computational Complexity of Provability in Systems of Modal Propositional Logic
cites work: Q4131648
full work available at URL: 0004-3702(95)00018-a
OpenAlex ID: W2160811334
Recommended article: Q4364506
Recommended article: Q4910732
Recommended article: Q2753686
Recommended article: Complexity results for modal dependence logic
Recommended article: Complexity Results for Modal Dependence Logic
Recommended article: Q4501138
Recommended article: Q4430407
Recommended article: Q5224566
Recommended article: Complexity of modal logics with Presburger constraints
Recommended article: A modal view on resource-bounded propositional logics
description: scientific article; zbMATH DE number 1863784