The decision problem of provability logic with only one atom
type: Item
instance of: scholarly article
title: The decision problem of provability logic with only one atom
zbMATH Open document ID: 1038.03011
author: Vítězslav Švejdar
published in: Archive for Mathematical Logic
publication date: 2004-03-07T00:00:00Z
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03F45
Mathematics Subject Classification ID: 68Q17
zbMATH DE Number: 2051460
zbMATH Keywords: polynomial space
zbMATH Keywords: Kripke models
zbMATH Keywords: decision problem
zbMATH Keywords: provability logic
MaRDI profile type: Publication
full work available at URL: s00153-003-0180-4
OpenAlex ID: W2012017461
cites work: Q4397069
cites work: The complexity of poor man's logic
cites work: The Computational Complexity of Provability in Systems of Modal Propositional Logic
cites work: Q4298260
cites work: Self-reference and modal logic
cites work: Provability interpretations of modal logic
cites work: Q4833777
cites work: Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases
cites work: On the polynomial-space completeness of intuitionistic propositional logic
DOI: 10.1007/S00153-003-0180-4
description: scientific article; zbMATH DE number 2051460