scientific article; zbMATH DE number 4204315

MaRDI QIDQ3352997zbMATH OpenFDO

Authors Leo Esakia

Publication date 1988

zbMATH Keywords

algebraic semanticsGödel-Löb system GLprovability logic with quantifier modalitiesrelational semanticsS5

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• scientific article; zbMATH DE number 4099258
• Provability logics with quantifiers on proofs
• scientific article; zbMATH DE number 4174895
• Around provability logic
• The predicate modal logic of provability

Cited in

(17)

• Around provability logic
• Predicate provability logic with non-modalized quantifiers
• Insolubility of Gödel-Löb logic with quantifiers of propositional variables
• On propositional quantifiers in provability logic
• On bimodal logics of provability
• Proving quantified literals in defeasible logic
• On inclusions between quantified provability logics
• Modal logic with bounded quantification over worlds
• scientific article; zbMATH DE number 4174895 (Why is no real title available?)
• scientific article; zbMATH DE number 3976995 (Why is no real title available?)
• scientific article; zbMATH DE number 4099258 (Why is no real title available?)
• AI 2003: Advances in Artificial Intelligence
• One modal logic to rule them all?
• MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
• Provability logics with quantifiers on proofs
• Failure of the Blok-Esakia theorem in the monadic setting
• The monadic Grzegorczyk logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3352997)