Analytic Methods for the Logic of Proofs

DOI10.1093/LOGCOM/EXN065zbMath1189.03024OpenAlexW2042676082WikidataQ117021978 ScholiaQ117021978MaRDI QIDQ3406688

Marcelo Finger

Publication date: 19 February 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.546.1765

zbMATH Keywords

tableau methodlogic of proofsprefixed tableauKE tableauproof constantsingle-step tableau

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20)

Related Items (1)

Labeled sequent calculus for justification logics

This page was built for publication: Analytic Methods for the Logic of Proofs