Open AccessSequent calculus for logic of correlated knowledge
Author(s) -
Haroldas Giedra,
Jūratė Sakalauskaitė
Publication year - 2011
Publication title -
lietuvos matematikos rinkinys
Language(s) - English
Resource type - Journals
eISSN - 2335-898X
pISSN - 0132-2818
DOI - 10.15388/lmr.2011.ml04
Subject(s) - sequent , sequent calculus , calculus (dental) , natural deduction , proof calculus , cut elimination theorem , epistemic modal logic , mathematics , computer science , discrete mathematics , multimodal logic , description logic , artificial intelligence , medicine , mathematical proof , geometry , dentistry
Sound and complete sequent calculi for general epistemic logic and logic of correlated knowledge are presented in this paper.