Loop-check elimination for non-transitive distributed knowledge logic

Loop-check elimination for non-transitive distributed knowledge logic

A non-transitive distributed knowledge logic TnD, obtained from multi-modal logic Tn by adding distributed knowledge operator, is considered. Sound and complete loop-check-free sequent calculus for this logic is proposed. Termination of derivations in proposed calculus is justified.

Bibliographic Details
Main Author: Aida Pliuškevičienė
Format: Article
Language:English
Published: Vilnius University Press 2008-12-01
Series:Lietuvos Matematikos Rinkinys
Subjects:
logic of knowledge
distributed knowledge
sequent calculus
loop-check
Online Access:https://www.journals.vu.lt/LMR/article/view/18110

Internet

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

Similar Items