Cut Elimination and Realization for Epistemic Logics with Justification

DOI10.1093/LOGCOM/EXR017zbMath1282.03009arXiv1401.1065OpenAlexW1970962608MaRDI QIDQ3165756

Meghdad Ghari

Publication date: 19 October 2012

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

Full work available at URL: https://arxiv.org/abs/1401.1065

zbMATH Keywords

cut eliminationsequent calculusrealization theoremhypersequent calculuslogic of justificationlogic of proofepistemic logic with justificationweak subformula property

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Cut-elimination and normal-form theorems (03F05)

Related Items (1)

Labeled sequent calculus for justification logics

This page was built for publication: Cut Elimination and Realization for Epistemic Logics with Justification