The single-conclusion proof logic and inference rules specification

DOI10.1016/S0168-0072(01)00058-6MaRDI QIDQ5957913zbMATH OpenFDO

Authors Vladimir Nikolaevich Krupskiĭ

Publication date 16 September 2002

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

Full work available at URL https://doi.org/10.1016/S0168-0072(01)00058-6

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Recommendations

• Referential logic of proofs
• On symbolic models for single-conclusion logic of proofs
• Reference Constructions in the Single-conclusion Proof Logic
• Proof theory for admissible rules
• ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL EQUATIONS, IN MODAL LOGICS AXIOMATIZING PROVABILITY

Cites work

• Data storage interpretation of labeled modal logic
• Explicit provability and constructive semantics
• scientific article; zbMATH DE number 1114340 (Why is no real title available?)
• scientific article; zbMATH DE number 1499081 (Why is no real title available?)
• Linear unification
• Logic and structure.
• Logic of proofs
• Provability interpretations of modal logic
• Self-reference and modal logic

Cited in

(9)

• A curry-style semantics of interaction: from untyped to second-order lazy -calculus
• Justified common knowledge
• Referential logic of proofs
• The Logic of Justification
• Reference Constructions in the Single-conclusion Proof Logic
• The logic of justification
• Decidability for some justification logics with negative introspection
• Symmetric Logic of Proofs
• Forum: A multiple-conclusion specification logic

This page was built for publication: The single-conclusion proof logic and inference rules specification

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