Cut free sequent calculus for logic S5n(ED)

Cut free sequent calculus for logic S5n(ED)

Hilbert style, Gentzen style sequent and Kanger style sequent calculi for logic S5n(ED) are considered in this paper. Gentzen style sequent calculus is constructed and its equivalence with Hilbert style system is proved, getting soundness and  completeness of Gentzen style system. Kanger style index...

Full description

Bibliographic Details
Main Author: Haroldas Giedra
Format: Article
Language:English
Published: Vilnius University Press 2010-12-01
Series:Lietuvos Matematikos Rinkinys
Subjects:
epistemic logic
distributed knowledge
knowledge of everybody
sequent calculus
cut elimination
Online Access:https://www.journals.vu.lt/LMR/article/view/17845

Internet

https://www.journals.vu.lt/LMR/article/view/17845

Similar Items