Cut-elimination for knowledge logics with interaction

zbMATH Open1344.03016MaRDI QIDQ2811590

Julius Andrikonis

Publication date: 10 June 2016

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

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)

Related Items (1)

About cut elimination for logics of common knowledge

Recommendations

• Cut-elimination and interpolation for \(\Omega\)-logic 👍 👎
• Bounds for cut elimination in intuitionistic propositional logic 👍 👎
• About cut elimination for logics of common knowledge 👍 👎
• Cut elimination for entailment relations 👍 👎
• Cut-elimination for quantified conditional logic 👍 👎
• Cut Elimination for Shallow Modal Logics 👍 👎
• Cut Elimination and Realization for Epistemic Logics with Justification 👍 👎
• Cut Elimination in Nested Sequents for Intuitionistic Modal Logics 👍 👎
• Cut elimination and complexity bounds for intuitionistic epistemic logic 👍 👎
• Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate 👍 👎

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)