Loop-check elimination for non-transitive distributed knowledge logic
Articles
Aida Pliuškevičienė
Institute of Mathematics and Informatics
Published 2008-12-21
https://doi.org/10.15388/LMR.2008.18110
PDF

Keywords

logic of knowledge
distributed knowledge
sequent calculus
loop-check

How to Cite

Pliuškevičienė A. (2008) “Loop-check elimination for non-transitive distributed knowledge logic”, Lietuvos matematikos rinkinys, 48(proc. LMS), pp. 278–282. doi: 10.15388/LMR.2008.18110.

Abstract

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.

PDF
Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Please read the Copyright Notice in Journal Policy