Machine Checking Proof Theory: An Application of Logic to Logic

DOI10.1007/978-3-540-92701-3_2zbMATH Open1209.03007OpenAlexW1558859407MaRDI QIDQ3601798FDOQ3601798

Authors: Rajeev Goré 

Publication date: 12 February 2009

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-92701-3_2

Recommendations

• Machine-checked proof-theory for propositional modal logics
• Proof checking and logic programming
• Proof checking and logic programming
• A proof theory for model checking
• scientific article; zbMATH DE number 1088222
• A proof theory for model checking: an extended abstract
• scientific article; zbMATH DE number 4053565
• A verified proof checker for higher-order logic
• scientific article; zbMATH DE number 3880145

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cites Work

• Provability interpretations of modal logic
• Valentini's cut-elimination for provability logic resolved
• The modal logic of provability: cut-elimination
• Proof analysis in modal logic
• On the proof theory of the modal logic for arithmetic provability
• Title not available (Why is that?)

Cited In (5)

• Title not available (Why is that?)
• Machine-checked meta-theory of dual-tableaux for intuitionistic logic
• Machine-checked interpolation theorems for substructural logics using display calculi
• A Machine Checked Soundness Proof for an Intermediate Verification Language
• Machine-checked proof-theory for propositional modal logics

This page was built for publication: Machine Checking Proof Theory: An Application of Logic to Logic

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