The single-conclusion proof logic and inference rules specification

DOI10.1016/S0168-0072(01)00058-6zbMath0992.03068MaRDI QIDQ5957913

Vladimir Nikolaevich Krupskiĭ

Publication date: 16 September 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

admissible ruleexplicit modal logicinference rule specificationlogic of proofsproof termsingle-conclusion proof predicate

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) First-order arithmetic and fragments (03F30) Structure of proofs (03F07) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items

Decidability for some justification logics with negative introspection ⋮ A curry-style semantics of interaction: from untyped to second-order lazy \(\lambda\mu\)-calculus ⋮ The Logic of Justification ⋮ THE LOGIC OF JUSTIFICATION ⋮ Justified common knowledge ⋮ Referential logic of proofs ⋮ Symmetric Logic of Proofs

Cites Work

• Unnamed Item
• Unnamed Item
• Self-reference and modal logic
• Provability interpretations of modal logic
• Linear unification
• Logic of proofs
• Data storage interpretation of labeled modal logic
• Explicit Provability and Constructive Semantics
• Logic and structure.