The decision problem of provability logic with only one atom
From MaRDI portal
Publication:1423633
DOI10.1007/s00153-003-0180-4zbMath1038.03011MaRDI QIDQ1423633
Publication date: 7 March 2004
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-003-0180-4
03B25: Decidability of theories and sets of sentences
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
03F45: Provability logics and related algebras (e.g., diagonalizable algebras)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Self-reference and modal logic
- Provability interpretations of modal logic
- On the polynomial-space completeness of intuitionistic propositional logic
- The Complexity of Poor Man's Logic
- The Computational Complexity of Provability in Systems of Modal Propositional Logic
- Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases