scientific article; zbMATH DE number 7699443
From MaRDI portal
Publication:6099618
DOI10.4230/LIPICS.ITP.2021.26arXiv2102.05945MaRDI QIDQ6099618
Author name not available (Why is that?), Marco Maggesi
Publication date: 20 June 2023
Full work available at URL: https://arxiv.org/abs/2102.05945
Title of this publication is not available (Why is that?)
Related Items (11)
Mechanising Gödel-Löb provability logic in HOL light ⋮ Title not available (Why is that?) ⋮ On the completeness of modular proof systems ⋮ Proof-theoretic modal PA-completeness. I: A system-sequent metric ⋮ Proof-theoretic modal PA-completeness. III: The syntactic proof ⋮ Provability logic and the completeness principle ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Complete proof systems for weighted modal logic ⋮ Title not available (Why is that?) ⋮ A completeness result for implicit justification stit 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 Q6099618)
