scientific article; zbMATH DE number 4204315

zbMATH Open0729.03010MaRDI QIDQ3352997FDOQ3352997

Authors: Leo Esakia 

Publication date: 1988

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

relational semanticsalgebraic semanticsS5Gödel-Löb system GLprovability logic with quantifier modalities

Mathematics Subject Classification ID

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

Cited In (14)

• MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
• Modal logic with bounded quantification over worlds
• AI 2003: Advances in Artificial Intelligence
• Insolubility of Gödel-Löb logic with quantifiers of propositional variables
• On propositional quantifiers in provability logic
• Around provability logic
• Predicate provability logic with non-modalized quantifiers
• Title not available (Why is that?)
• On bimodal logics of provability
• Provability logics with quantifiers on proofs
• One modal logic to rule them all?
• Proving quantified literals in defeasible logic
• Title not available (Why is that?)
• Title not available (Why is that?)

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)