Decidable and enumerable predicate logics of provability
From MaRDI portal
Publication:750418
DOI10.1007/BF00401550zbMath0714.03019MaRDI QIDQ750418
Publication date: 1990
Published in: Studia Logica (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
03B25: Decidability of theories and sets of sentences
03F40: Gödel numberings and issues of incompleteness
Related Items
MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS, Predicate provability logic with non-modalized quantifiers
Cites Work