Prefixed Tableau Systems for Logic of Proofs and Provability

DOI10.1007/978-3-642-40537-2_18zbMath1401.03101OpenAlexW46797684MaRDI QIDQ2851946

Hidenori Kurokawa

Publication date: 4 October 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40537-2_18

zbMATH Keywords

provability logiclogic of proofsprefixed tableau system

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

This page was built for publication: Prefixed Tableau Systems for Logic of Proofs and Provability