Publication:3085172
From MaRDI portal
zbMath1244.03073MaRDI QIDQ3085172
Publication date: 30 March 2011
03B45: Modal logic (including the logic of norms)
03B25: Decidability of theories and sets of sentences
03D15: Complexity of computation (including implicit computational complexity)
03F45: Provability logics and related algebras (e.g., diagonalizable algebras)
Related Items
MÜNCHHAUSEN PROVABILITY, KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS, COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS, Reflection calculus and conservativity spectra, AN ESCAPE FROM VARDANYAN’S THEOREM, On the complexity of the closed fragment of Japaridze's provability logic, Kripke semantics for provability logic GLP, Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics, Modal companions of \(K4^+\), On the positive fragment of the polymodal provability logic GLP