Cut-elimination for knowledge logics with interaction

MaRDI QIDQ2811590zbMATH OpenFDO

Authors Julius Andrikonis

Publication date 10 June 2016

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

zbMATH Keywords

central agentcut eliminationinteraction axiomK4\(_n\)S4\(_n\)

Mathematics Subject Classification ID

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

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

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)