Cut-elimination for knowledge logics with interaction

zbMATH Open1344.03016MaRDI QIDQ2811590FDOQ2811590

Authors: Julius Andrikonis 

Publication date: 10 June 2016

Published in: Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai (Search for Journal in Brave)

Recommendations

• About cut elimination for logics of common knowledge
• Cut elimination and complexity bounds for intuitionistic epistemic logic
• Cut elimination and realization for epistemic logics with justification
• Cut elimination for entailment relations
• Cut elimination in nested sequents for intuitionistic modal logics
• Cut elimination for shallow modal logics
• Cut-elimination and interpolation for \(\Omega\)-logic
• Cut-elimination for quantified conditional logic
• Full cut elimination and interpolation for intuitionistic logic with existence predicate
• Bounds for cut elimination in intuitionistic propositional logic

zbMATH Keywords

cut eliminationinteraction axiomcentral agentK4\(_n\)S4\(_n\)

Mathematics Subject Classification ID

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

Cited In (2)

• Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom
• About cut elimination for logics of common knowledge

This page was built for publication: Cut-elimination for knowledge logics with interaction

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